TY  - RPRT
TI  - Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
AU  - Bahareh Afshari
AU  - Johannes Kloibhofer
PY  - 2025
DO  - 10.4204/eptcs.435.3
UR  - https://arxiv.org/abs/2405.01935
ID  - 2405.01935
ER  -