1. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
2. Franz Baader. Terminological cycles in KL-ONE-based knowledge representation languages. In Proc. of the 8th Nat. Conf. on Artificial Intelligence (AAAI’90), pages 621–626, Boston (Ma, USA ), 1990.
3. Franz Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91), 1991.
4. Franz Baader. Using automata theory for characterizing the semantics of terminological cycles. Ann. of Mathematics and Artificial Intelligence,18(2–4):175219, 1996.
5. Franz Baader, Sebastian Brandt, and Ralf Küsters. Matching under side conditions in description logics. In Bernhard Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 213–218, Seattle, Washington, 2001. Morgan Kaufmann.