Implementation of committed choice logic languages on shared memory multiprocessors

The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)

Programming techniques for efficiently exploiting parallelism in logic programming languages

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming

Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism

PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming

Replay, recovery, replication, and snapshots of nondeterministic concurrent programs

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing

A Lingua Franca for Concurrent Logic Programming

IEEE Transactions on Software Engineering

A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs

ACM SIGPLAN Notices

Parallel logic programming systems

ACM Computing Surveys (CSUR)

An evaluation of Penny: a system for fine grain implicit parallelism

PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation

The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems

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

Selected M-Related Dissertations

ACM SIGART Bulletin