Peter Padawitz. Can inductive proofs be automated? Part II. Bulletin of the EATCS, 37:168-174, 1989.
@article{Padawitz89:1, title = {Can inductive proofs be automated? Part II}, author = {Peter Padawitz}, year = {1989}, researchr = {https://researchr.org/publication/Padawitz89%3A1}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {37}, pages = {168-174}, }