Workshop on Automation of Proofs by Mathematical Induction

@booklet{pub1601,
    author = {

Hutter, Dieter
},
    title = {Workshop on Automation of Proofs by Mathematical Induction},
    year = {1999}
}