LAI2Hb94'

BibTeX

@book{DBLP:books/ox/LAI2Hb94,
  editor    = {Dov M. Gabbay and
               Christopher J. Hogger and
               J. A. Robinson and
               J{\"o}rg H. Siekmann},
  title     = {Handbook of Logic in Artificial Intelligence and Logic Programming,
               Volume2, Deduction Methodologies},
  booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming,
               Volume 2},
  publisher = {Oxford University Press},
  year      = {1994},
  isbn      = {0-19-853746-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}