Cyrille Chenavier. Reduction operators and completion of rewriting systems. Journal of Symbolic Computation, 84:57-83, 2018. [doi]
@article{Chenavier18, title = {Reduction operators and completion of rewriting systems}, author = {Cyrille Chenavier}, year = {2018}, doi = {10.1016/j.jsc.2017.03.002}, url = {https://doi.org/10.1016/j.jsc.2017.03.002}, researchr = {https://researchr.org/publication/Chenavier18}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {84}, pages = {57-83}, }