Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees.

Yao Wu Enrico Pontelli Desh Ranjan Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees. 79-94 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_7 db/conf/lpar/lpar2005.html#WuPR05