1. Theory of braids;Artin;Ann. Math.,1947
2. Unsolvability of the word problem, and subalgebras of finitely presented Lie algebras;Bokut;Izv. Akad. Nauk SSSR Ser. Mat.,1972
3. Imbeddings into simple associative algebras;Bokut;Algebra Logika,1976
4. Markov and Artin normal form theorem for braid groups;Bokut;Comm. Algebra,2007
5. Gröbner–Shirshov basis for the braid semigroup;Bokut,2003