@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},
	Chapter = {Jacques Herbrand: Life, Logic, and Automated Deduction},
	Editor = {D. Gabbay and J. Woods},
	Key = {B04},
	Publisher = {Elsevier},
	Rating = {3},
	Url = {http://www.elsevier.com/wps/find/bookseriesdescription.cws_home/BS_S369/description},
	Year = 2009,
}