An extended variant of atoms loop check for positive logic programs

Loop checks for logic programs with functions

Theoretical Computer Science

SLT-Resolution for the Well-Founded Semantics

Journal of Automated Reasoning

Linear Tabulated Resolutions for the Well-Founded Semantics

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning

Linear tabulated resolution based on Prolog control strategy

Theory and Practice of Logic Programming

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)

Termination prediction for general logic programs

Theory and Practice of Logic Programming