Keyword:cyclic proof

Publications
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs Shujun Zhang and Naoki Nishida EasyChair Preprint 8672