Fariñas del Cerro, L. and Gasquet, O. 2004. Minimal structures for modal tableaux: Some examples. Logic and Logical Philosophy. 8, 8 (Jan. 2004), 99–114. DOI:https://doi.org/10.12775/LLP.2000.007.