@Book{Moore_Wirth_Automation_of_Mathematical_Induction_2013,
year={2013},
author={J Strother Moore
    and Wirth, Claus-Peter},
title={{Automation of Mathematical Induction as part of the History of Logic}},
publisher={{SEKI Publications}},
series={{SEKI-Report SR--2013--02 (ISSN 1437--4447)}},
address={{DFKI Bremen GmbH, Safe and Secure Cognitive Systems, Cartesium, Enrique Schmidt Str.\,5, D--28359 Bremen, Germany}},
note={pp.\,ii+106, \url{http://arxiv.org/abs/1309.6226}},
}