TY - RPRT TI - An upper bound for the solving degree in terms of the degree of regularity AU - Flavio Salizzoni PY - 2023 UR - https://arxiv.org/abs/2304.13485 ID - 2304.13485 ER -