The decidability of the reachability problem for vector addition systems (preliminary version (1977)

by George S Sacerdote, Richard L Tenney
Venue:In Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, STOC ’77