On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.

Shujun Zhang, Naoki Nishida

Browse the full FLOPS paper archive.