@Book{wirth-heijenoort-SEKI,
year={2014},
author={Wirth, Claus-Peter},
title={{Herbrand's Fundamental Theorem:} The Historical Facts and their Streamlining},
publisher={{SEKI Publications}},
series={{SEKI-Report SR--2014--01 (ISSN 1437--4447)}},
address={{DFKI Bremen GmbH, Safe and Secure Cognitive Systems, Cartesium, Enrique Schmidt Str.\,5, D--28359 Bremen, Germany}},
note={pp.\,ii+45, \url{http://arxiv.org/abs/1405.6317}},
}