@misc{indiciaebd11076197e5,
  title = {Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete},
  author = {Michael Blondin and Alain Finkel and Stefan Göller and Christoph Haase and Pierre McKenzie},
  year = {2014},
  doi = {10.1109/lics.2015.14},
  url = {https://arxiv.org/abs/1412.4259},
  note = {Source identifier: 1412.4259}
}