Parallel Logic Programming Techniques - Taylor, Stephen (\N PHI, 1987)