DegtyarevV01'

BibTeX

@incollection{DBLP:books/el/RV01/DegtyarevV01,
  author    = {Anatoli Degtyarev and
               Andrei Voronkov},
  title     = {The Inverse Method},
  booktitle = {Handbook of Automated Reasoning},
  year      = {2001},
  pages     = {179-272},
  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}
}