@Article{Moore_Wirth_Automation_of_Mathematical_Induction_2017,
year={2017},
author={Moore, J Strother
    and Wirth, Claus-Peter},
title={{Automation of Mathematical Induction as part of the History of Logic}},
journal={IfCoLog J. of Logics and their Applications},
volume={4},
pages={1505--1634},
note={Received Dec.\,15, 2016},
}