Jean-Paul Bodeveix Érick Bizouarn A Parallel Prolog Execution Model Theoretical Approach and Experimental Results. 7-15 1993 IPPS db/conf/ipps/ipps1993.html#BodeveixB93