Kish Shen Overview of Daswam: Exploitation of Dependent and-Parallelism. 245-293 1996 29 J. Log. Program. 1-3 db/journals/jlp/jlp29.html#Shen96