Journal papers (peer-reviewed)
- Yukihiro Oda, James Brotherston, Makoto Tatsuta, "The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions", Journal of Logic and Computation, 2023;, exad068, https://doi.org/10.1093/logcom/exad068