Ouri Wolfson Abraham Silberschatz Decomposability and its Role in Parallel Logic Program Evaluation. 345-358 1991 11 J. Log. Program. 3&4 db/journals/jlp/jlp11.html#WolfsonS91