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

Yao Wu, Enrico Pontelli, Desh Ranjan

Browse the full LPAR paper archive.