"&-Prolog and its Performance: Exploiting Independent And-Parallelism."

Manuel V. Hermenegildo, K. J. Greene (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics