Foundations of Logic Programming: 2nd Edition (1987)

by J Lloyd