Foundations of Logic Programming: Second Edition (1987)

by J W Lloyd