TY  - RPRT
TI  - Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness
AU  - Géraud Sénizergues
PY  - 2011
UR  - https://arxiv.org/abs/1101.5046
ID  - 1101.5046
ER  -