"Programming Techniques for Efficiently Exploiting Parallelism in Logic ..."

Evan Tick, Nobuyuki Ichiyoshi (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics