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]
Abstract is missing.