Patrick Dehornoy Vincent van Oostrom Using groups for investigating rewrite systems. 1133-1167 2008 18 Mathematical Structures in Computer Science 6 http://dx.doi.org/10.1017/S0960129508007160 db/journals/mscs/mscs18.html#DehornoyO08