TY  - RPRT
TI  - Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete
AU  - Matthias Englert
AU  - Ranko Lazić
AU  - Patrick Totzke
PY  - 2016
UR  - https://arxiv.org/abs/1602.00477
ID  - 1602.00477
ER  -