@Inproceedings{EPTCS397.2, author = {Boy de la Tour, Thierry}, year = {2023}, title = {Subsumptions of Algebraic Rewrite Rules}, editor = {Staton, Sam and Vasilakopoulou, Christina}, booktitle = {{\rm Proceedings of the Sixth International Conference on} Applied Category Theory 2023, {\rm University of Maryland, 31 July - 4 August 2023}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {397}, publisher = {Open Publishing Association}, pages = {20-38}, doi = {10.4204/EPTCS.397.2}, }