Shujun Zhang, Naoki Nishida 0001. On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs. In Michael Hanus, Atsushi Igarashi, editors, Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings. Volume 13215 of Lecture Notes in Computer Science, pages 262-281, Springer, 2022. [doi]
Abstract is missing.