Fariñas del Cerro, L.; Gasquet, O. Minimal Structures for Modal Tableaux: Some Examples. LLP 2004, 8, 99-114.