1. Lecture Notes in Computer Science;L Alfaro de,2003
2. Baader, F., Borgwardt, S., Morawska, B.: Extending unification in $$\cal{EL}$$ towards general TBoxes. In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 568–572. AAAI Press/The MIT Press (2012)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal{EL}$$ envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 364–369. Morgan Kaufmann, Los Altos (2005)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2015
5. 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)