1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)
2. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)
3. Lecture Notes in Artificial Intelligence;P. Baumgartner,1998
4. LNCS;P. Baumgartner,2004
5. Lecture Notes in Computer Science;P. Baumgartner,1996