Hans Kleine Büning, Theodor Lettmann, Ernst W. Mayr. Projections of Vector Addition System Reachability Sets are Semilinear. Theoretical Computer Science, 64(3):343-350, 1989.
@article{BuningLM89,
title = {Projections of Vector Addition System Reachability Sets are Semilinear},
author = {Hans Kleine Büning and Theodor Lettmann and Ernst W. Mayr},
year = {1989},
researchr = {https://researchr.org/publication/BuningLM89},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {64},
number = {3},
pages = {343-350},
}