| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies: Deduction Methodologies Vol 2 | 978-O-19-853746-5 (O-19-853746-8) | 1994 | Dov M. Gabbay · J. A. Robinson |
C.H. · C. J. · Christopher J. Hogger · Christopher John Hogger · J. H.