Markov and Artin normal form theorem for braid groups
  In this paper we will present the results of Artin--Markov on braid groups by using the Groebner--Shirshov basis. As a consequence we can reobtain the normal form of Artin--Markov--Ivanovsky as an easy corollary. 
L. A. Bokut, V. V. Chaynikov, K. P. Shum