1. An Introduction to Gröbner Bases;Adams,1994
2. The diamond lemma for ring theory;Bergman;Adv. Math.,1978
3. Seven trees in one;Blass;J. Pure Appl. Algebra,1995
4. Insolvability of the word problem for Lie algebras, and subalgebras of finitely presented Lie algebras;Bokut;Izv. Akad. Nauk SSSR Ser. Mat.,1972
5. Imbeddings into simple associative algebras;Bokut;Algebra Logika,1976