Craig C. Squier Friedrich Otto Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems. 74-82 1987 conf/rta/87 RTA db/conf/rta/rta87.html#SquierO87 http://dx.doi.org/10.1007/3-540-17220-3_7