Lourdes Araujo José J. Ruz PDP: Prolog Distributed Processor for Independent AND\OR Parallel Execution of Prolog. 142-156 1994 ICLP db/conf/iclp/iclp94.html#AraujoR94