TY  - RPRT
TI  - Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes
AU  - Petr Jančar
AU  - Jiří Srba
PY  - 2013
UR  - https://arxiv.org/abs/1303.0780
ID  - 1303.0780
ER  -