Jacques Herbrand: Life, Logic, and Automated Deduction
@incollection{WSBA-09-a,
  author        = {Claus-Peter Wirth and J\"org Siekmann and Christoph Benzm\"uller and Serge Autexier},
  booktitle     = {Logic from Russell to Church},
  title         = {Jacques Herbrand: Life, Logic, and Automated Deduction},
  volume        = {5},
  series        = {Handbook of The History of Logic},
  publisher     = {Elsevier},
  pages         = {195-254},
  month         = {june},
  year          = {2009},
}