Kish Shen Implementing Dynamic Dependent And-Parallelism. 167-183 1993 ICLP db/conf/iclp/iclp93.html#Shen93