TY - RPRT TI - Quadratic normalisation in monoids AU - Patrick Dehornoy AU - Yves Guiraud PY - 2016 DO - 10.1142/s0218196716500399 UR - https://arxiv.org/abs/1504.02717 ID - 1504.02717 ER -