David M. Arnow Ken McAloon Carol Tretkoff Distributed Programming and Disjunctive Programming. 120-129 1994 Workshop on Design and Impl. of Parallel Logic Programming Systems db/conf/slp/slp94-w5.html#ArnowMT94