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