AND-parallelism of logic programs based on a static data dependency analysis (1985)

by J-H Chang, A M Despain, D DeGroot
Venue:In Digest of Papers of COMPCON Spring’85. IEEE Computer