1. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope. In: Proc. IJCAI 2005. Morgan Kaufmann (2005)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)
3. Baader, F., Peñaloza, R.: Automata-based axiom pinpointing. J. of Automated Reasoning 45(2), 91–129 (2010)
4. Lecture Notes in Artificial Intelligence;F. Baader,2007
5. Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and—what else? In: Proc. ECAI 2004, pp. 298–302. IOS Press (2004)