Reachability in One-Dimensional Pushdown Vector Addition Systems Is Decidable.

Clotilde Bizire, Wojciech Czerwinski

Browse the full STOC paper archive.