@misc{indiciae3a93d419e198,
  title = {Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete},
  author = {Matthias Englert and Ranko Lazić and Patrick Totzke},
  year = {2016},
  url = {https://arxiv.org/abs/1602.00477},
  note = {Source identifier: 1602.00477}
}