Publikation Workshop on Automation of Proofs by Mathematical Induction Dieter Hutter Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999. BibTeX Export Workshop on Automation of Proofs by Mathematical Induction@booklet{pub1601, author = { Hutter, Dieter }, title = {Workshop on Automation of Proofs by Mathematical Induction}, year = {1999} }