Parallel logic programming techniques - Taylor, Stephen, 1956- (Prentice Hall, 1989)