Term Rewriting for the Conjugacy Problem and the Braid Groups. - John Pedersen; Margaret Yoder (J. Symb. Comput., 1994)