Efficient loop detection in Prolog using the tortoise-and-hare technique

Implementation-based analysis and testing of Prolog programs

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis

Generating the minimal model in Prolog

ACM SIGPLAN Notices

Loop checks for logic programs with functions

Theoretical Computer Science

Test-Case Generation from Prolog-Based Specifications

IEEE Software

On redundancy elimination tolerant scheduling rules

Theory and Practice of Logic Programming

Linear tabulated resolution based on Prolog control strategy

Theory and Practice of Logic Programming

Termination prediction for general logic programs

Theory and Practice of Logic Programming

An Abstract Approach to Some Loop Detection Problems

Fundamenta Informaticae