Constraint logic programming with dynamic scheduling: a semantics based on closure operators

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

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

Reexecution-Based Analysis of Logic Programs with Delay Declarations

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Properties of Input-Consuming Derivations

Theory and Practice of Logic Programming

Termination of simply moded logic programs with dynamic scheduling

ACM Transactions on Computational Logic (TOCL)

Constraint logic programming

A 25-year perspective on logic programming

Concurrent and reactive constraint programming

A 25-year perspective on logic programming

Models and emerging trends of concurrent constraint programming

Constraints