Hypersequent Calculi Have Ackermannian Complexity

A. R. Balasubramanian, Vitor Greati, Revantha Ramanayake
LICS'26 (to appear)