Parallel logic programming /
Takeuchi, Akikazu.
New York ; Chichester : Wiley,
c1992.