Lectures on Jacques Herbrand as a Logician
  author        = {Claus-Peter Wirth and Jörg Siekmann and Christoph Benzmüller and Serge Autexier},
  title         = {Lectures on Jacques Herbrand as a Logician},
  type          = {SEKI Report},
  number        = {SR-2009-01 (ISSN 1437-4447)},
  institution   = {SEKI Publications},
  address       = {DFKI Bremen GmbH, Safe and Secure Cognitive Systems, Cartesium, Enrique Schmidt Str.5, D-28359 Bremen, Germany},
  pages         = {ii + 70 pages},
  year          = {2009},