TY  - RPRT
TI  - Equivalence of Deterministic One-Counter Automata is NL-complete
AU  - Stanislav Böhm
AU  - Stefan Göller
AU  - Petr Jančar
PY  - 2013
UR  - https://arxiv.org/abs/1301.2181
ID  - 1301.2181
ER  -