Projections of vector addition system reachability sets are semilinear | lit.salon