How to prove algebraic inductive hypotheses without induction (1980)

by J Goguen
Venue:In 5th Conference on Automated Deduction (CADE05