Reachability in fixed VASS: expressiveness and lower bounds
scientific article; zbMATH DE number 7935765