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}
}