A Review of Exploitation of And-Parallelism and Combined And/Or-Parallelism in Logic Programs.

Kang Zhang A Review of Exploitation of And-Parallelism and Combined And/Or-Parallelism in Logic Programs. 25-32 1994 29 SIGPLAN Notices 2 db/journals/sigplan/sigplan29.html#Zhang94