A. K. Pedreschi-d, Reasoning about termination of pure prolog programs )), Information and computation, vol.1, pp.109-157, 1993.

A. K. , P. D. Levi-g, and . Ed, Modular termination proofs for logic and pure Prolog programs ), pp.183-229, 1994.

A. K. , From Logic Programming to Prolog, 1997.

B. F. King-a, Inferring Argument Size Relationships with CLP(R) )), Logic Program Synthesis and Transformation, 1997.

B. R. , Loop Checking in Logic Programming ), 1991.

G. Bueno-f, L. A. De, . Banda-m, and . Hermenegildo-m, Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization ), Proceedings of International Symposium on Logic Programming, pp.320-336, 1994.

C. P. Cousot-r, Abstract interpretation: a unifed lattice model for static analysis of programs by construction or approximation of fixpoints )), Conference Record of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.238-252, 1977.

C. P. Halbwachs-n, Automatic discovery of linear restraints among variables of a program ), Proc. of the 5th ACM Symposium on Principles of Programming Languages, pp.84-96, 1978.

C. P. Cousot-r, Abstract interpretation and application to logic programs )), Journal of Logic Programming, vol.13, pp.103-179, 1992.

D. S. De-schreye-d and H. Vandecasteele, Constraint-based Termination Analysis of Logic Programs )), ACM Transactions of Computational Logic, 2000.

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

J. J. Lassez and J. L. , Proceedings of the 4th Annual ACM Symposium on Principles of Programming Languages, pp.111-119, 1987.

J. J. Maher and M. J. , Constraint Logic Programming: a survey )), Journal of Logic Programming, vol.19, pp.503-581, 1994.

L. N. Sagiv and Y. , Automatic Termination Analysis of Logic Programs )), Proceedings of the 14th ICLP, pp.63-77, 1997.

M. F. , Inferring left-terminating classes of queries for constraint logic programs by means of approximations )), Proceedings of JICSLP'96, pp.7-21, 1996.

M. F. and R. S. , On Proving Left Termination of Constraint Logic Programs )), rapport, 2001.

P. L. , Termination proofs for Logic programs )), Lecture Notes in Artificial Intelligence, vol.446, 1990.

R. S. , Verification and validation of logic programs )), PhD thesis, Università di Pisa, 1999.

S. K. Van-gelder-a, Termination detection in logic programs using argucTI 17

, Proceedings of PODS'91, pp.216-226, 1991.

S. C. Somogyi, Z. ;. Søndergaard-h, . Van-hentenrick-p, and . Ed, Termination Analysis for Mercury )), Proceedings of SAS'97, vol.1302, 1997.

V. T. Potter and J. , Proceedings of the 1986 IEEE Symposium on Logic Programming, 1986.