EasyChair Smart Slide
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs