Fariñas del Cerro, Luis, and Olivier Gasquet. 2004. “Minimal Structures for Modal Tableaux: Some Examples”. Logic and Logical Philosophy 8 (8):99-114. https://doi.org/10.12775/LLP.2000.007.