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