Data structures for order-sensitive predicates in parallel nondeterministic systems

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

Ancestor Problems on Pure Pointer Machines

LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics

Sequential and parallel algorithms for the NCA problem on pure pointer machines

Theoretical Computer Science

Computational issues in exploiting dependent and-parallelism in logic programming: leftness detection in dynamic search trees

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning