TY - RPRT TI - Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions AU - Cyrille Chenavier AU - Maxime Lucas PY - 2020 UR - https://arxiv.org/abs/2005.05764 ID - 2005.05764 ER -