J Strother Moore, Claus-Peter Wirth: Automation of Mathematical Induction as part of the History of Logic. CoRR abs/1309.6226 (2013)