Steve Gregory Experiments with Speculative Parallelism in Parlog. 370-387 1993 ILPS db/conf/slp/slp93.html#Gregory93