« Negation as Failure, 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. ,
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 of logic programs : the never-ending story, Journal of Logic Programming, vol.19, issue.20, pp.199-260, 1994. ,
Goal independency and call patterns in the analysis of logic programs, Proceedings of the ACM Symposium on applied computing, pp.394-399, 1994. ,
Inferring Termination Condition for Logic Programs using Backwards Analysis, Proceedings of Logic for Programming, 2001. ,
« 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, pp.1-46, 1998. ,
Foundations of Logic Programming, 1987. ,
« 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. ,
Applying static analysis techniques for inferring termination conditions of logic programs, Static Analysis Symposium, vol.2126, pp.93-110, 2001. ,
« Detecting optimal termination conditions of logic programs, Proc. of the 9th International Symposium on Static Analysis, vol.2477, pp.509-525, 2002. ,
On proving left termination of constraint logic programs, ACM Transactions on Computational Logic, pp.207-259, 2003. ,
, Proc. of the Joint International Conf. and Symposium on Logic Programming, pp.22-36, 1996.
Mathematical logic, 1967. ,