Can inductive proofs be automated? Part II

Peter Padawitz. Can inductive proofs be automated? Part II. Bulletin of the EATCS, 37:168-174, 1989.

Abstract

Abstract is missing.