Parallel logic programming techniques /
Taylor, Stephen,1956-
Englewood Cliffs, N.J. : Prentice-Hall International,
c1989.