Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension.

Jrme Leroux, Sylvain Schmitz

Browse the full LICS paper archive.