1. Insolvability of the word problem for Lie algebras, and subalgebras of finitely presented Lie algebras;Bokut;Izv. Akad. Nauk SSSR, Ser. Mat.,1972
2. Algorithmic and Combinatorial Algebra;Bokut,1994
3. Groupes et Algèbres de Lie, Chapitres 2 et 3;Bourbaki,1972
4. Weak commutativity and finiteness properties of groups;Bridson;Bull. Lond. Math. Soc.,2019