Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism.

Kalyan Muthukumar Francisco Bueno Maria J. García de la Banda Manuel V. Hermenegildo Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. 165-218 1999 38 J. Log. Program. 2 db/journals/jlp/jlp38.html#MuthukumarBBH99