Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete.

Matthias Englert, Ranko Lazic, Patrick Totzke

Browse the full LICS paper archive.