TY  - RPRT
TI  - The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
AU  - Yukihiro Oda
AU  - James Brotherston
AU  - Makoto Tatsuta
PY  - 2024
DO  - 10.1093/logcom/exad068
UR  - https://arxiv.org/abs/2106.11798
ID  - 2106.11798
ER  -