The Complex(ity) Landscape of Checking Infinite Descent. - Liron Cohen 001; Adham Jabarin; Andrei Popescu 001; Reuben N. S. Rowe (Proc. ACM Program. Lang., 2024)