Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete.

Petr Jancar, Sylvain Schmitz

Browse the full LICS paper archive.