Peter Padawitz. Can inductive proofs be automated?. Bulletin of the EATCS, 35:163-170, 1988.
@article{Padawitz88:0, title = {Can inductive proofs be automated?}, author = {Peter Padawitz}, year = {1988}, researchr = {https://researchr.org/publication/Padawitz88%3A0}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {35}, pages = {163-170}, }