L. Fariñas del Cerro and O. Gasquet, “Minimal structures for modal tableaux: Some examples”, LLP, vol. 8, no. 8, pp. 99–114, Jan. 2004.