&-Prolog and its Performance: Exploiting Independent And-Parallelism. - Manuel V. Hermenegildo; K. J. Greene (ICLP, 1990)

The &-Prolog System: Exploiting Independent And-Parallelism. - Manuel V. Hermenegildo; K. J. Greene (New Gener. Comput., 1991)