TY - RPRT TI - Free operated monoids and Rewriting systems AU - Xing Gao AU - Jin Zhang PY - 2018 DO - 10.1007/s00233-018-9939-0 UR - https://arxiv.org/abs/1804.04307 ID - 1804.04307 ER -