1. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Proc. IJCAI 2003. Morgan Kaufmann, Los Altos (2003)
2. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope. In: Proc. IJCAI 2005. Morgan Kaufmann, Los Altos (2005)
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
4. Lecture Notes in Computer Science;F. Baader,2009
5. Baader, F., Morawska, B.: Unification in the description logic
$\mathcal{EL}$
. In: Logical Methods in Computer Science (to appear, 2010)