R. N. Bol, K. R. Apt, and J. W. Klop, An analysis of loop checking mechanisms for logic programs, Theoretical Computer Science, vol.86, pp.35-79, 1991.

K. L. Clark, Negation as failure, Logic and Databases, pp.293-322, 1978.

M. Codish and C. Taboch, A semantic basis for the termination analysis of logic programs, Journal of Logic Programming, vol.41, issue.1, pp.103-123, 1999.

D. De-schreye, M. Bruynooghe, and K. Verschaetse, On the existence of nonterminating queries for a restricted class of Prolog-clauses, Artificial Intelligence, vol.41, pp.237-248, 1989.

D. De-schreye and S. Decorte, Termination of logic programs: the never-ending story, Journal of Logic Programming, pp.199-260, 1994.

D. De-schreye, K. Verschaetse, and M. Bruynooghe, A practical technique for detecting non-terminating queries for a restricted class of Horn clauses, using directed, weighted graphs, Proc. of ICLP'90, pp.649-663, 1990.

J. Fischer, Termination analysis for Mercury using convex constraints, 2002.

M. Gabbrielli and R. Giacobazzi, Goal independency and call patterns in the analysis of logic programs, Proceedings of the ACM Symposium on applied computing, pp.394-399, 1994.

J. Jaffar and J. L. Lassez, Constraint logic programming, Proc. of the ACM Symposium on Principles of Programming Languages, pp.111-119, 1987.

J. Jaffar, M. J. Maher, K. Marriott, and P. J. Stuckey, The semantics of constraint logic programs, Journal of Logic Programming, vol.37, issue.1-3, pp.1-46, 1998.

F. Mesnard, E. Payet, and U. Neumerkel, Detecting optimal termination conditions of logic programs, Proc. of the 9th International Symposium on Static Analysis, vol.2477, pp.509-525, 2002.
URL : https://hal.archives-ouvertes.fr/hal-01915746

F. Mesnard and S. Ruggieri, On proving left termination of constraint logic programs, ACM Transactions on Computational Logic, pp.207-259, 2003.

E. Payet and F. Mesnard, Non-termination inference of logic programs, ACM Transactions on Programming Languages and Systems
URL : https://hal.archives-ouvertes.fr/hal-00129526

E. Payet and F. Mesnard, Non-termination inference for constraint logic programs, Proc. of the 11th International Symposium on Static Analysis, vol.3148, pp.377-392, 2004.

P. Refalo and P. Van-hentenryck, CLP (R lin ) revised, Proc. of the Joint International Conf. and Symposium on Logic Programming, pp.22-36, 1996.

Y. Shen, L. Yuan, and J. You, Loops checks for logic programs with functions, Theoretical Computer Science, vol.266, issue.1-2, pp.441-461, 2001.

J. Shoenfield, Mathematical Logic, 1967.

C. Speirs, Z. Somogyi, and H. Søndergaard, Termination analysis for Mercury, Proc. of the 1997 Intl. Symp. on Static Analysis, vol.1302, 1997.
DOI : 10.1007/bfb0032740