FermullerLHT01'

BibTeX

@incollection{DBLP:books/el/RV01/FermullerLHT01,
  author    = {Christian G. Ferm{\"u}ller and
               Alexander Leitsch and
               Ullrich Hustadt and
               Tanel Tammet},
  title     = {Resolution Decision Procedures},
  booktitle = {Handbook of Automated Reasoning},
  year      = {2001},
  pages     = {1791-1849},
  crossref  = {DBLP:books/el/RobinsonV01},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@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}
}