1. 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)
2. Baader, F., Marantidis, P., Okhotin, A.: Approximate unification in the description logic $$\cal{FL}_{0}$$ . LTCS-Report 16–04, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, Dresden (2016). http://lat.inf.tu-dresden.de/research/reports.html
3. Baader, F., Marantidis, P., Okhotin, A.: Approximately solving set equations. In: Ghilardi, S., Schmidt-Schauß, M. (eds.) Proceedings of the 30th International Workshop on Unification (UNIF 2016), Porto (2016)
4. Baader, F., Morawska, B.: Unification in the description logic $$\cal{EL}$$ . Log. Methods Comput. Sci. 6(3), 350–364 (2010)
5. Baader, F., Narendran, P.: Unification of concept terms in description logics. J. Symb. Comput. 31(3), 277–305 (2001)