1. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pp. 325–330. Morgan Kaufmann, Los Altos (2003)
2. Baader, F., Borgwardt, S., Morawska, B.: Unification in the description logic
$\mathcal{EL}$
w.r.t. cycle-restricted TBoxes. LTCS-Report 11-05, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany (2011),
http://lat.inf.tu-dresden.de/research/reports.html
3. Baader, F., Borgwardt, S., Morawska, B.: Extending unification in
$\mathcal{EL}$
towards general TBoxes. In: Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 568–572. AAAI/MIT Press (2012)
4. Lecture Notes in Computer Science;F. Baader,2012
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 (2003)