1. Baader, F., Brandt, S., Lutz, C.: Pushing the $\mathcal{EL}$ -envelope. In: Proc. 19th Int. Joint Conf. on Artificial Intelligence (2005) (to appear)
2. 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)
3. Lecture Notes in Computer Science;F. Baader,1993
4. Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proc. 16th Int. Joint Conf. on Artificial Intelligence (1999)
5. Baader, F., Lutz, C., Karabaev, E., Theißen, M.: A new n-ary existential quantifier in description logics. LTCS-Report 05-08, Theoretical Computer Science, TU Dresden, Germany (2005), See http://lat.inf.tu-dresden.de/research/reports.html