Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete

Publication
Logic in Computer Science, LICS