Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies: Deduction Methodologies Vol 2

by: Dov M. Gabbay · J. A. Robinson · Christopher J. Hogger Hardcover details (UK). ISBN: 978-0-19-853746-5 ISBN-10: 0-19-853746-8 OUP Oxford · 1994