1. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum Press, New York (1978)
2. Codish, M., Taboch, C.: A semantic basis for the termination analysis of logic programs. Journal of Logic Programming 41(1), 103–123 (1999)
3. De Schreye, D., Bruynooghe, M., Verschaetse, K.: On the existence of nonterminating queries for a restricted class of Prolog-clauses. Artificial Intelligence 41, 237–248 (1989)
4. De Schreye, D., Decorte, S.: Termination of logic programs: the never-ending story. Journal of Logic Programming 19-20, 199–260 (1994)
5. De Schreye, D., Verschaetse, K., Bruynooghe, M.: A practical technique for detecting non-terminating queries for a restricted class of Horn clauses, using directed, weighted graphs. In: Proc. of ICLP 1990, pp. 649–663. The MIT Press, Cambridge (1990)