Term rewriting for the conjugacy problem and the braid groups
scientific article; zbMATH DE number 792842