"AND-Parallel Execution of Logic Programs on a Shared-Memory Multiprocessor."

Yow-Jian Lin, Vipin Kumar (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics