Markov and Artin Normal Form Theorem for Braid Groups. - Leonid A. Bokut; V. V. Chaynikov; Kar Ping Shum (Int. J. Algebra Comput., 2007)

Gröbner-Shirshov basis of the Adyan extension of the Novikov group. - Leonid A. Bokut; V. V. Chaynikov (Discret. Math., 2008)