Handbook of Logic in Artificial Intelligence ... Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies English, Hardcover, Gabbay Dov M. 9780198537465