@article{780bf9d5903b48c89dcc06fc42363677,
title = "The Complex(ity) Landscape of Checking Infinite Descent",
keywords = "algorithms, B{\"u}chi automata, complexity, cyclic proof, infinite descent, size-change termination",
author = "Liron Cohen and Adham Jabarin and Andrei Popescu and Rowe, {Reuben N.S.}",
note = "Publisher Copyright: {\textcopyright} 2024 Owner/Author.",
year = "2024",
month = jan,
day = "5",
doi = "10.1145/3632888",
language = "English",
volume = "8",
pages = "1352--1384",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
publisher = "Association for Computing Machinery (ACM)",
number = "POPL",
}