TY - RPRT TI - Knuth-Bendix algorithm and the conjugacy problems in monoids AU - Fabienne Chouraqui PY - 2010 DO - 10.1007/s00233-010-9288-0 UR - https://arxiv.org/abs/1012.3547 ID - 1012.3547 ER -