Parallel Logic Programming in PARLOG : The Language and its Implementation - Gregory, Steve (International Series in Logic Programming, 1987)