Christoph Walther. Mathematical induction. In Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. pages 127-228, Oxford University Press, 1994.
Abstract is missing.