@article{BEFGHLMT21,
  author    = {Michael Blondin and Matthias Englert and Alain Finkel
                  and Stefan Göller and Christoph Haase and Ranko
                  Lazić and Pierre McKenzie and Patrick Totzke},
  title     = {The Reachability Problem for Two-Dimensional Vector
                  Addition Systems with States},
  journal   = {Journal of the ACM (JACM)},
  volume    = {68},
  number    = {5},
  pages     = {34:1--34:43},
  doi       = {10.1145/3464794},
  year      = {2021}
}