Foundations of Logic Programming. Symbolic computation (1984)

by J W Lloyd
Venue:Artificial Intelligence, SpringerVerlag