1. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., & Patel-Schneider, P. F. (Eds.). (2003). The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge: Cambridge University Press.
2. Baader, F. (2009). Description logics. In S. Tessaris et al. (Eds.), Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Tutorial Lectures (Vol. 5689, pp. 1–39). Lecture Notes in Computer Science. Brixen-Bressanone: Springer.
3. Beth, W. E. (1955). Semantic entailment and formal derivability. Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde,18(13), 309–342 (reprinted in Hintikka, 1969).
4. Cantone, D., Nicolosi Asmundo, M., & Orłowska, E. (2010). Dual tableau-based decision procedures for some relational logics. In W. Faber & N. Leone (Eds.), Proceedings of the 25th Italian Conference on Computational Logic (Vol. 598). CEUR Workshop Proceedings. Rende, Italy.
http://CEUR-WS.org
.
5. Cantone, D., Nicolosi Asmundo, M., & Orłowska, E. (2011). Dual tableau-based decision procedures for relational logics with restricted composition operator. Journal of Applied Non-classical Logics, 21(2), 177–200.