ISBN 0198537921 books & textbook
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming
Gabbay, Dov M. Hogger, C. J. Robinson, J. A.
Clarendon Press /1998-03-05 Hardcover / 814 Pages
isbn-10: 0198537921 / isbn-13: 9780198537922
