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

by George S Sacerdote, Richard L Tenney
Venue:In STOC 1977