1. Fitting, M. 1996. First-order logic and automated theorem proving. Berlin; Springer.
2. Massacci, F. 1998. Single step tableaux for modal logics: Methodology, computations, algorithms. Technical Report TR-04, Dipartimento di Informatica e Sistemistica, Universita di Roma “La Sapienza”.
3. Horrocks, I., U. Satler, and S. Tobies. 2000. Practical reasoning for very expressive description logics. Logic Journal of the IGPL 8(3): 239–263.
4. Horrocks, I. 1997. Optimising tableaux decision procedures for description logics, PhD Thesis, University of Manchester.
5. Massacci, F. 1994. Strongly analytic tableaux for normal modal logics. In Proc. CADE-12, ed. A. Bundy, LNAI 814: 723–737. New York: Springer.