Can inductive proofs be automated?

Peter Padawitz. Can inductive proofs be automated?. Bulletin of the EATCS, 35:163-170, 1988.

Abstract

Abstract is missing.