Reachability in Fixed VASS: Expressiveness and Lower Bounds.

Andrei Draghici, Christoph Haase, Andrew Ryzhikov

Browse the full FOSSACS paper archive.