Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests.

Roland Guttenberg, Wojciech Czerwinski, Slawomir Lasota

Browse the full LICS paper archive.