The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version)

The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) George S. Sacerdote Richard L. Tenney 61-76 conf/stoc/STOC9 1977 STOC db/conf/stoc/stoc77.html#SacerdoteT77