Efficient Management of Backtracking in AND-Parallelism

Designing a high performance parallel logic programming system

ACM SIGARCH Computer Architecture News

Parallel symbolic computation in ACE

Annals of Mathematics and Artificial Intelligence

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Towards a high-level implementation of execution primitives for unrestricted, independent and-parallelism

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages

Improving the efficiency of nondeterministic independent and-parallel systems

Computer Languages