TY  - RPRT
TI  - Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete
AU  - Petr Jančar
AU  - Sylvain Schmitz
PY  - 2019
DO  - 10.1109/lics.2019.8785848
UR  - https://arxiv.org/abs/1901.07170
ID  - 1901.07170
ER  -