Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages.

Evan Tick Nobuyuki Ichiyoshi Programming Techniques for Efficiently Exploiting Parallelism in Logic Programming Languages. 31-39 1990 PPOPP db/conf/ppopp/ppopp90.html#TickI90