1. Ackermann, W.: Untersuchungen über das Eliminationsproblem der mathematischen Logik. Math. Ann. 110, 330–413 (1935)
2. Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
3. Bienvenu, M.: Complexity of abduction in the $$\cal{EL}$$ family of lightweight description logics. In: Proceedings of KR 2008, pp. 220–230. AAAI Press (2008)
4. Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning in expressive description logics with fixpoints based on automata on finite trees. In: Proceedings of IJCAI 1999, pp. 84–89. AAAI Press (1999)
5. Calvanese, D., Ortiz, M., Simkus, M., Stefanoni, G.: Reasoning about explanations for negative query answers in DL-Lite. J. Artif. Intell. Res. 48, 635–669 (2013)