Raymond Aubin. Strategies for Mechanizing Structural Induction. In IJCAI. pages 363-369, 1977.
@inproceedings{Aubin77,
title = {Strategies for Mechanizing Structural Induction},
author = {Raymond Aubin},
year = {1977},
researchr = {https://researchr.org/publication/Aubin77},
cites = {0},
citedby = {0},
pages = {363-369},
booktitle = {IJCAI},
}