Fully Distributed, AND/OR-Parallel Execution of Logic Problems.

Prabhakaran Raman Eugene W. Stark Fully Distributed, AND/OR-Parallel Execution of Logic Problems. 1188-1203 1988 ICLP/SLP db/conf/iclp/iclp88.html#RamanS88