Projections of vector addition system reachability sets are semilinear
scientific article; zbMATH DE number 4115985