ByNobleID
    Reachability in Fixed VASS: Expressiveness and Lower Bounds | NobleID