1. O.G. Kharlampovich, Finitely presented solvable group with unsolvable word problem, Izvestiya Ak. Nauk, Ser. Math. 45:4 (1981), 852–873.
2. G. Baumslag, D. Gildenhuys, and R. Strebel, Algorithmically unsolvable problems about finitely presented solvable groups, Lie and associative algebras, J. Pure and Applied Algebra 39: 1 /2 (1986), 53–94.
3. O.G. Kharlampovich, Finitely presented solvable groups and Lie algebras with unsolvable word problem, Math. Zametki 45:5 (1989).
4. O.G. Kharlampovich and M.V. Sapir, The word problem in the varieties of associative and Lie algebras, Izvestiya Vuzov. Math. 3 (1989).
5. O.G. Kharlampovich, The word problem in the variety Z912%, Izvestiya Vuzov. Math. 11 (1988), 21–23.