TY  - RPRT
TI  - Equivalence of pushdown automata via first-order grammars
AU  - Petr Jancar
PY  - 2020
DO  - 10.1016/j.jcss.2020.07.004
UR  - https://arxiv.org/abs/1812.03518
ID  - 1812.03518
ER  -