TALP: A Tool for the Termination Analysis of Logic Programs

Modular termination proofs for rewriting using dependency pairs

Journal of Symbolic Computation

Verifying Termination and Reduction Properties about Higher-Order Logic Programs

Journal of Automated Reasoning

Mechanizing and Improving Dependency Pairs

Journal of Automated Reasoning

Automated termination proofs for logic programs by term rewriting

ACM Transactions on Computational Logic (TOCL)

A termination analyzer for Java bytecode based on path-length

ACM Transactions on Programming Languages and Systems (TOPLAS)

Termination prediction for general logic programs

Theory and Practice of Logic Programming

Automated termination analysis for logic programs by term rewriting

LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation

Polytool: proving termination automatically based on polynomial interpretations

LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory and Practice of Logic Programming

The dependency triple framework for termination of logic programs

LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation