Cyrille Chenavier, Maxime Lucas,
"Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions"
, Serie arXiv.org, Nummer 2005.05764, 7-2020, ISSN: 2331-8422
Original Titel:
Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions