@incollection{DBLP:books/el/RV01/FermullerLHT01,
  author       = {Christian G. Ferm{\"{u}}ller and
                  Alexander Leitsch and
                  Ullrich Hustadt and
                  Tanel Tammet},
  editor       = {John Alan Robinson and
                  Andrei Voronkov},
  title        = {Resolution Decision Procedures},
  booktitle    = {Handbook of Automated Reasoning (in 2 volumes)},
  pages        = {1791--1849},
  publisher    = {Elsevier and {MIT} Press},
  year         = {2001},
  url          = {https://doi.org/10.1016/b978-044450813-3/50027-8},
  doi          = {10.1016/B978-044450813-3/50027-8},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/RV01/FermullerLHT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"9WdCjQFrFzDcsmDo4","bibbaseid":"fermller-leitsch-hustadt-tammet-resolutiondecisionprocedures-2001","author_short":["Fermüller, C. G.","Leitsch, A.","Hustadt, U.","Tammet, T."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Christian","G."],"propositions":[],"lastnames":["Fermüller"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Leitsch"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Tanel"],"propositions":[],"lastnames":["Tammet"],"suffixes":[]}],"editor":[{"firstnames":["John","Alan"],"propositions":[],"lastnames":["Robinson"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"title":"Resolution Decision Procedures","booktitle":"Handbook of Automated Reasoning (in 2 volumes)","pages":"1791–1849","publisher":"Elsevier and MIT Press","year":"2001","url":"https://doi.org/10.1016/b978-044450813-3/50027-8","doi":"10.1016/B978-044450813-3/50027-8","timestamp":"Mon, 16 Sep 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/books/el/RV01/FermullerLHT01.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@incollection{DBLP:books/el/RV01/FermullerLHT01,\n author = {Christian G. Ferm{\\\"{u}}ller and\n Alexander Leitsch and\n Ullrich Hustadt and\n Tanel Tammet},\n editor = {John Alan Robinson and\n Andrei Voronkov},\n title = {Resolution Decision Procedures},\n booktitle = {Handbook of Automated Reasoning (in 2 volumes)},\n pages = {1791--1849},\n publisher = {Elsevier and {MIT} Press},\n year = {2001},\n url = {https://doi.org/10.1016/b978-044450813-3/50027-8},\n doi = {10.1016/B978-044450813-3/50027-8},\n timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/books/el/RV01/FermullerLHT01.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fermüller, C. G.","Leitsch, A.","Hustadt, U.","Tammet, T."],"editor_short":["Robinson, J. A.","Voronkov, A."],"key":"DBLP:books/el/RV01/FermullerLHT01","id":"DBLP:books/el/RV01/FermullerLHT01","bibbaseid":"fermller-leitsch-hustadt-tammet-resolutiondecisionprocedures-2001","role":"author","urls":{"Paper":"https://doi.org/10.1016/b978-044450813-3/50027-8"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["resolution","decision","procedures","fermüller","leitsch","hustadt","tammet"],"title":"Resolution Decision Procedures","year":2001}