Fariñas del Cerro, L., and O. Gasquet. “Minimal Structures for Modal Tableaux: Some Examples”. Logic and Logical Philosophy, vol. 8, no. 8, Jan. 2004, pp. 99-114, doi:10.12775/LLP.2000.007.