1. Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. J. Log. Program. 19/20, 9–71 (1994)
2. Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
3. Clark, K.: Negation as failure. In: Logic and Data Bases, pp. 293–322 (1978)
4. Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: AL-Log: Integrating datalog and description logics. Intelligent Information Systems 10(3), 227–252 (1998)
5. Drabent, W.: SLS-resolution without floundering. In: Pereira, L.M., Nerode, A. (eds.) Proc. 2nd International Workshop on Logic Programming and Non-Monotonic Reasoning, pp. 82–98. MIT Press, Cambridge, MA (1993)