Principles of logic programming. With the coop. of A. Sinachopoulos. (English) Zbl 0862.68013
Studies in Computer Science and Artificial Intelligence. 13. Amsterdam: North-Holland. xiii, 329 p. (1996).
Reviewer: A.V.Anisimov (Kiev)