Hypersequent Calculi Have Ackermann Complexity.

A. R. Balasubramanian, Vitor Greati, Revantha Ramanayake

Browse the full LICS paper archive.