TY  - RPRT
TI  - Cyclic Proofs, Hypersequents, and Transitive Closure Logic
AU  - Anupam Das
AU  - Marianna Girlando
PY  - 2022
UR  - https://arxiv.org/abs/2205.08616
ID  - 2205.08616
ER  -