A4.B — Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete

ICALP 2020