@inproceedings{BFGHM15, 
  author    = {Michael Blondin and Alain Finkel and Stefan G\"{o}ller and
                  Christoph Haase and Pierre McKenzie},
  title     = {Reachability in Two-Dimensional Vector Addition Systems
                  with States Is {PSPACE}-Complete}, 
  booktitle = {Proc.\ $\text{30}^{th}$ Annual ACM/IEEE Symposium on
                  Logic in Computer Science ({LICS})},
  pages     = {32--43},
  doi       = {10.1109/LICS.2015.14},
  year      = {2015}
}