A practical technique for detecting non-terminating queries for a restricted class of Horn clauses, using directed, weighted graphs

Inference of termination conditions for numerical loops in Prolog

Theory and Practice of Logic Programming

Nontermination inference of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Experiments with Non-Termination Analysis for Java Bytecode

Electronic Notes in Theoretical Computer Science (ENTCS)

On termination of binary CLP programs

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation