Fariñas del Cerro, Luis, and Olivier 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.