TY - RPRT TI - A cancellativity criterion for presented monoids AU - Patrick Dehornoy PY - 2018 UR - https://arxiv.org/abs/1802.04607 ID - 1802.04607 ER -