1. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope. In: Proc. IJCAI 2005, pp. 364–370 (2005)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
3. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. In: Perspectives of Mathematical Logic. Springer, Heidelberg (1997); Second printing (Universitext) 2001
4. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Proc. IJCAI 2007, pp. 298–304 (2007)
5. Cuenca Grau, B., Horrocks, I., Kutz, O., Sattler, U.: Will my Ontologies Fit Together? In: Proc. DL 2006 (2006)