Margaret Yoder

Term Rewriting for the Conjugacy Problem and the Braid Groups

John Pedersen, Margaret Yoder, 1994, J. Symb. Comput..