Bisimulation Finiteness of Pushdown Systems Is Elementary.

Stefan Gller, Pawel Parys

Browse the full LICS paper archive.