Fully Distributed, AND/OR-Parallel Execution of Logic Problems. - Prabhakaran Raman; Eugene W. Stark (ICLP/SLP, 1988)