1. The Diamond lemma for ring theory;Bergman;Adv. Math.,1978
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. Gröbner–Shirshov bases: Some new results;Bokut,2008
5. L.A. Bokut, Yuqun Chen, Cihua Liu, Gröbner–Shirshov bases for dialgebras, Internat. J. Algebra Comput., in press, arXiv.org/abs/0804.0638