Kentaro Kikuchi, Takahito Aoto 0001, Isao Sasano. Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]
@inproceedings{Kikuchi0S19,
title = {Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation},
author = {Kentaro Kikuchi and Takahito Aoto 0001 and Isao Sasano},
year = {2019},
doi = {10.1145/3354166.3354178},
url = {https://doi.org/10.1145/3354166.3354178},
researchr = {https://researchr.org/publication/Kikuchi0S19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019},
editor = {Ekaterina Komendantskaya},
publisher = {ACM},
isbn = {978-1-4503-7249-7},
}