Static Analysis of Logic Programs for Independent AND Parallelism (1992)

by D Jacobs, A Langen
Venue:The Journal of Logic Programming