Projections of vector addition system reachability sets are semilinear - Kleine Büning, Hans 1948-; Lettmann, Theodor; Mayr, Ernst W. 1950- (1988)