C. K. , « Negation as Failure, pp.293-322, 1978.

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

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

D. E. Schreye, D. Verschaetse, and K. Bruynooghe-m, 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.

D. E. Schreye, D. Decorte, and S. , Termination of logic programs : the never-ending story, Journal of Logic Programming, vol.19, issue.20, pp.199-260, 1994.

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

G. S. , Inferring Termination Condition for Logic Programs using Backwards Analysis, Proceedings of Logic for Programming, 2001.

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

J. J. Maher-m, . Marriott-k, and P. J. Stuckey, « The Semantics of Constraint Logic Programs, Journal of Logic Programming, vol.37, pp.1-46, 1998.

L. J. , Foundations of Logic Programming, 1987.

M. F. Maher-m and . Ed, « Inferring left-terminating classes of queries for constraint logic programs by means of approximations, Proc. of the 1996 Joint Intl. Conf. and Symp. on Logic Programming, pp.7-21, 1996.

M. F. Neumerkel, U. Cousot-p, and . Ed, Applying static analysis techniques for inferring termination conditions of logic programs, Static Analysis Symposium, vol.2126, pp.93-110, 2001.

M. F. and P. E. Neumerkel-u, « Detecting optimal termination conditions of logic programs, Proc. of the 9th International Symposium on Static Analysis, vol.2477, pp.509-525, 2002.

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

R. P. Hentenryck, P. V. , «. Clp-;-revised, ». , and M. M. Ed, Proc. of the Joint International Conf. and Symposium on Logic Programming, pp.22-36, 1996.

S. J. , Mathematical logic, 1967.