On the Unification Free Prolog Programs

Termination proofs for logic programs with tabling

ACM Transactions on Computational Logic (TOCL)

Directional Type Checking for Logic Programs: Beyond Discriminative Types

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems

Acceptability with General Orderings

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

Well-Typed Logic Programs Are not Wrong

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science

Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Success in Logic Programs

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings

LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation

Termination of well-typed logic programs

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

On logic programs that always succeed

Science of Computer Programming

On modular termination proofs of general logic programs

Theory and Practice of Logic Programming

Classes of terminating logic programs

Theory and Practice of Logic Programming

Verifying termination and error-freedom of logic programs with block declarations

Theory and Practice of Logic Programming

Termination of simply moded logic programs with dynamic scheduling

ACM Transactions on Computational Logic (TOCL)

Automated termination proofs for logic programs by term rewriting

ACM Transactions on Computational Logic (TOCL)

Automated termination analysis for logic programs by term rewriting

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