The &-Prolog System: Exploiting Independent And-Parallelism (1991)

by M Hermenegildo, K Greene
Venue:New Generation Computing