1. Baader F (1996) Using automata theory for characterizing the semantics of terminological cycles. Ann Math Artif Intell 18:175–219
2. Baader F (2003) Description logic terminology. In: [6], pp. 485–495
3. Baader F (2003) Restricted role-value-maps in a description logic with existential restrictions and terminological cycles. In: Calvanese D, De Giacomo G, Franconi E (eds) Proceedings of the 2003 description logic workshop (DL 2003), CEUR Workshop Proceedings, vol 81. CEUR-WS.org
4. Baader F, Brandt S, Lutz C (2005) Pushing the $${\cal{EL}}$$ envelope. In: Kaelbling LP, Saffiotti A (eds) Proceedings of the 19th international joint conference on artificial intelligence (IJCAI 2005). Morgan Kaufmann, Los Altos, pp 364–369
5. Baader F, Bürckert HJ, Nebel B, Nutt W, Smolka G (1993) On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J Logic Lang Inf 2:1–18