1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Boston (1979)
3. Khizder, V.L., Toman, D., Weddell, G.: Reasoning about duplicate elimination with description logic. In: Rules and Objects in Databases (DOOD, part of CL 2000), pp. 1017–1032 (2000)
4. Ramakrishnan, R.: Magic templates: a spellbinding approach to logic programs. J. Logic Program. 11(3 & 4), 189–216 (1991)
5. Toman, D., Weddell, G.: On attributes, roles, and dependencies in description logics and the ackermann case of the decision problem. In: Description Logics 2001, CEUR-WS, vol. 49, pp. 76–85 (2001)