Parallel logic programming - Tick, Evan 1959- (MIT Press, 1991)