@incollection{pub4314,
    series = {Handbook of The History of Logic},
    abstract = {No Abstract.},
    month = {6},
    year = {2009},
    title = {Jacques Herbrand: Life, Logic, and Automated Deduction},
    booktitle = {Dov M. Gabbay; John Woods: Logic from Russell to Church},
    volume = {5},
    pages = {195-254},
    publisher = {Elsevier},
    author = {Claus-Peter Wirth and Jörg Siekmann and Christoph Benzmüller and Serge Autexier}
}