Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian.

Ranko Lazic, Jol Ouaknine, James Worrell

Browse the full MFCS paper archive.