Independence in constraint logic programs

Global analysis of constraint logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Strategic directions in constraint programming

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research

Some challenges for constraint programming

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel symbolic computation in ACE

Annals of Mathematics and Artificial Intelligence

Constraint Programming: Strategic Directions

Constraints

Some Challenges for Constraint Programming

Constraints

Backtracking in Independent And-Parallel Implementations of Logic Programming Languages

IEEE Transactions on Parallel and Distributed Systems

Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach

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

Theoretical foundations and semantics of logic programming

A 25-year perspective on logic programming

Relating data-parallelism and (and-) parallelism in logic programs

Computer Languages

Improving the efficiency of nondeterministic independent and-parallel systems

Computer Languages