Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press, 1994.
@book{LAI2Hb94,
title = {Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies},
year = {1994},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/LAI2Hb94},
cites = {0},
citedby = {0},
editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
publisher = {Oxford University Press},
isbn = {0-19-853746-8},
}