Stefano Crespi-Reghizzi, Dino Mandrioli. A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett., 3(3):78-80, 1975.
@article{Crespi-ReghizziM75, title = {A Decidability Theorem for a Class of Vector-Addition Systems}, author = {Stefano Crespi-Reghizzi and Dino Mandrioli}, year = {1975}, researchr = {https://researchr.org/publication/Crespi-ReghizziM75}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {3}, number = {3}, pages = {78-80}, }