1. Lecture Notes in Computer Science;F.D. Cerro,2001
2. Sahade, M.: LoTREC: User Manuel available at: LoTREC2.0 home page
3. Massacci, F.: Single step tableaux for modal logics: methodology, computations, algorithms. JAR 24(3), 319–364 (2000)
4. Castilho, M., Fariñas del Cerro, L., Gasquet, O., Herzig, A.: Modal tableaux with propagation rules and structural rules. Fund. Inf. 32(3), 281–297 (1997)
5. Fariñas del Cerro, L., Gasquet, O.: Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fund. Inf. 40(4), 317–333 (1999)