@incollection{B8,
  url = {http://christoph-benzmueller.de/papers/B8.pdf},
  urlDBLP = {https://dblp.org/rec/series/hhl/WirthSBA09.html},
  Author =	 {Claus-Peter Wirth and J{\"o}rg Siekmann and
                  Christoph Benzm{\"u}ller and Serge Autexier},
  Booktitle =	 {Handbook of the History of Logic, Volume 5 -- Logic
                  from Russell to Church},
  Doi =		 {10.1016/S1874-5857(09)70009-3},
  Pages =	 {195--254},
  Editor =	 {Dov Gabbay and John Woods},
  Issn =	 {1874-5857},
  Keywords =	 {own, Jacques Herbrand, History of Logic},
  Publisher =	 {Elsevier},
  Title =	 {Jacques {Herbrand}: Life, Logic, and Automated
                  Deduction},
  Year =	 2009,
}

{"_id":"vfyhuayA8nba9mMx5","bibbaseid":"wirth-siekmann-benzmller-autexier-jacquesherbrandlifelogicandautomateddeduction-2009","author_short":["Wirth, C.","Siekmann, J.","Benzmüller, C.","Autexier, S."],"bibdata":{"bibtype":"incollection","type":"incollection","url":"http://christoph-benzmueller.de/papers/B8.pdf","urldblp":"https://dblp.org/rec/series/hhl/WirthSBA09.html","author":[{"firstnames":["Claus-Peter"],"propositions":[],"lastnames":["Wirth"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Serge"],"propositions":[],"lastnames":["Autexier"],"suffixes":[]}],"booktitle":"Handbook of the History of Logic, Volume 5 – Logic from Russell to Church","doi":"10.1016/S1874-5857(09)70009-3","pages":"195–254","editor":[{"firstnames":["Dov"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Woods"],"suffixes":[]}],"issn":"1874-5857","keywords":"own, Jacques Herbrand, History of Logic","publisher":"Elsevier","title":"Jacques Herbrand: Life, Logic, and Automated Deduction","year":"2009","bibtex":"@incollection{B8,\n url = {http://christoph-benzmueller.de/papers/B8.pdf},\n urlDBLP = {https://dblp.org/rec/series/hhl/WirthSBA09.html},\n Author =\t {Claus-Peter Wirth and J{\\\"o}rg Siekmann and\n Christoph Benzm{\\\"u}ller and Serge Autexier},\n Booktitle =\t {Handbook of the History of Logic, Volume 5 -- Logic\n from Russell to Church},\n Doi =\t\t {10.1016/S1874-5857(09)70009-3},\n Pages =\t {195--254},\n Editor =\t {Dov Gabbay and John Woods},\n Issn =\t {1874-5857},\n Keywords =\t {own, Jacques Herbrand, History of Logic},\n Publisher =\t {Elsevier},\n Title =\t {Jacques {Herbrand}: Life, Logic, and Automated\n Deduction},\n Year =\t 2009,\n}\n\n","author_short":["Wirth, C.","Siekmann, J.","Benzmüller, C.","Autexier, S."],"editor_short":["Gabbay, D.","Woods, J."],"key":"B8","id":"B8","bibbaseid":"wirth-siekmann-benzmller-autexier-jacquesherbrandlifelogicandautomateddeduction-2009","role":"author","urls":{"Paper":"http://christoph-benzmueller.de/papers/B8.pdf","Dblp":"https://dblp.org/rec/series/hhl/WirthSBA09.html"},"keyword":["own","Jacques Herbrand","History of Logic"],"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":["own","jacques herbrand","history of logic"],"search_terms":["jacques","herbrand","life","logic","automated","deduction","wirth","siekmann","benzmüller","autexier"],"title":"Jacques Herbrand: Life, Logic, and Automated Deduction","year":2009}