RobinsonV01'

BibTeX

@book{DBLP:books/el/RobinsonV01,
  editor    = {John Alan Robinson and
               Andrei Voronkov},
  title     = {Handbook of Automated Reasoning (in 2 volumes)},
  publisher = {Elsevier and MIT Press},
  year      = {2001},
  isbn      = {0-444-50813-9, 0-262-18223-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}