Publication Workshop on Automation of Proofs by Mathematical Induction Dieter Hutter; David McAllister; Christoph Walther 13th Conference on Automated Deduction, New Brunswick, USA, 1996. http://www.dfki.de/vse/papers/hmw96.ps.gz (gz, 56 KB ) BibTeX Export Workshop on Automation of Proofs by Mathematical Induction@booklet{pub1571, author = { Hutter, Dieter and McAllister, David and Walther, Christoph }, title = {Workshop on Automation of Proofs by Mathematical Induction}, year = {1996} }