Haruhiko Sato, Masahito Kurihara. Discovering inductive theorems using rewriting induction. In 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016. pages 989-993, IEEE, 2016. [doi]
@inproceedings{SatoK16-1,
title = {Discovering inductive theorems using rewriting induction},
author = {Haruhiko Sato and Masahito Kurihara},
year = {2016},
doi = {10.1109/SMC.2016.7844370},
url = {http://dx.doi.org/10.1109/SMC.2016.7844370},
researchr = {https://researchr.org/publication/SatoK16-1},
cites = {0},
citedby = {0},
pages = {989-993},
booktitle = {2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016},
publisher = {IEEE},
isbn = {978-1-5090-1897-0},
}