@misc{indiciaeb9ec27d56ae2,
  title = {Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness},
  author = {Géraud Sénizergues},
  year = {2011},
  url = {https://arxiv.org/abs/1101.5046},
  note = {Source identifier: 1101.5046}
}