Termination of Logic Programs with block Declarations Running in Several Modes

Semantics of Input-Consuming Logic Programs

CL '00 Proceedings of the First International Conference on Computational Logic

Properties of Input-Consuming Derivations

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)

Semantics of well-moded input-consuming logic programs

Computer Languages