TY  - RPRT
TI  - Automation of Mathematical Induction as part of the History of Logic
AU  - J Strother Moore
AU  - Claus-Peter Wirth
PY  - 2014
UR  - https://arxiv.org/abs/1309.6226
ID  - 1309.6226
ER  -