1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Reading, MA (1995)
2. Alsaç, G., Baral, C.: Reasoning in description logics using declarative logic programming. Technical report, Arizona State University, Arizona. http://www.public.asu.edu/~cbaral/papers/descr-logic-aaai2.pdf (2002)
3. 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, MA (2003)
4. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, MA (1998)
5. Baaz, M., Egly, U., Leitsch, A.: Normal form transformations. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I. Chapt. 5, pp. 273–333. Elsevier Science, Amsterdam (2001)