A Simulation Study of Or- and Independent And-parallelism (1991)

by K Shen, M Hermenegildo
Venue:In 1991 International Logic Programming Symposium