A method for efficiently executing Horn clause programs using multiple processors

Analysis of Or-parallel execution models

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel logic programming systems

ACM Computing Surveys (CSUR)

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

SPS-Parallelism + SETHEO = SPTHEO

Journal of Automated Reasoning

Experiments in Parallel Execution of Answer Set Programs

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium

A decomposition-based implementation of search strategies

ACM Transactions on Computational Logic (TOCL)

Issues in parallel execution of non-monotonic reasoning systems

Parallel Computing

Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms

Journal of Parallel and Distributed Computing

An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling

Computer Languages, Systems and Structures

Programming constraint services: high-level programming of standard and new constraint services

Programming constraint services: high-level programming of standard and new constraint services