1. Theory of braids;Artin;Ann. of Math.,1947
2. A new approach to the word and conjugacy problems in the braid groups;Birman;Adv. Math.,1998
3. T. Brady, Three generator Artin groups of finite type, preprint, 1999.
4. Finite K(π, 1)'s for Artin groups;Charney,1995
5. Word Processing in Groups;Epstein,1992