@incollection{B4,
  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},
  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","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","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{B4,\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 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":"B4","id":"B4","bibbaseid":"wirth-siekmann-benzmller-autexier-jacquesherbrandlifelogicandautomateddeduction-2009","role":"author","urls":{},"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}