@misc{indiciaedfcd7a2603e8,
  title = {Bisimulation equivalence of first-order grammars is Ackermann-hard},
  author = {Petr Jancar},
  year = {2013},
  url = {https://arxiv.org/abs/1312.3910},
  note = {Source identifier: 1312.3910}
}