Typed Norms for Typed Logic Programs

Constraint-based termination analysis of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Combining Norms to Prove Termination

VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation

When Size Does Matter

LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation

Reuse of Results in Termination Analysis of Typed Logic Programs

SAS '02 Proceedings of the 9th International Symposium on Static Analysis

A dynamic approach to characterizing termination of general logic programs

ACM Transactions on Computational Logic (TOCL)

Termination analysis of logic programs through combination of type-based norms

ACM Transactions on Programming Languages and Systems (TOPLAS)

Automated termination proofs for logic programs by term rewriting

ACM Transactions on Computational Logic (TOCL)

Mutual exclusion by interpolation

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming