Logic programming
MIT Press
Continued:MIT Press in logic programming
edited by Leon S. Sterling
MIT Press c1990 Logic programming
Available at 25 libraries
Richard A. O'Keefe
Available at 30 libraries
edited by David H.D. Warren and Peter Szeredi
Available at 29 libraries
edited by Harvey Abramson and M.H. Rogers
MIT Press c1989 Logic programming
Available at 33 libraries
edited by Ewing L. Lusk and Ross A. Overbeek
MIT Press c1989 Logic programming v. 1, 2
v. 1 , v. 2
edited by Giorgio Levi and Maurizio Martelli
: pbk
Available at 32 libraries
Pascal Van Hentenryck