A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas.

Andrew Stevens

Browse the full ECAI paper archive.