An analysis of loop checking mechanisms for logic programs, Theoretical Computer Science, vol.86, pp.35-79, 1991. ,
Negation as failure, Logic and Databases, pp.293-322, 1978. ,
A semantic basis for the termination analysis of logic programs, Journal of Logic Programming, vol.41, issue.1, pp.103-123, 1999. ,
On the existence of nonterminating queries for a restricted class of Prolog-clauses, Artificial Intelligence, vol.41, pp.237-248, 1989. ,
Termination of logic programs: the never-ending story, Journal of Logic Programming, pp.199-260, 1994. ,
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. ,
Termination analysis for Mercury using convex constraints, 2002. ,
Goal independency and call patterns in the analysis of logic programs, Proceedings of the ACM Symposium on applied computing, pp.394-399, 1994. ,
Constraint logic programming, Proc. of the ACM Symposium on Principles of Programming Languages, pp.111-119, 1987. ,
The semantics of constraint logic programs, Journal of Logic Programming, vol.37, issue.1-3, pp.1-46, 1998. ,
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
On proving left termination of constraint logic programs, ACM Transactions on Computational Logic, pp.207-259, 2003. ,
Non-termination inference of logic programs, ACM Transactions on Programming Languages and Systems ,
URL : https://hal.archives-ouvertes.fr/hal-00129526
Non-termination inference for constraint logic programs, Proc. of the 11th International Symposium on Static Analysis, vol.3148, pp.377-392, 2004. ,
CLP (R lin ) revised, Proc. of the Joint International Conf. and Symposium on Logic Programming, pp.22-36, 1996. ,
Loops checks for logic programs with functions, Theoretical Computer Science, vol.266, issue.1-2, pp.441-461, 2001. ,
Mathematical Logic, 1967. ,
Termination analysis for Mercury, Proc. of the 1997 Intl. Symp. on Static Analysis, vol.1302, 1997. ,
DOI : 10.1007/bfb0032740