1. G. M. Bergman,The diamond lemma for ring theory, Advances in Mathematics29 (1978), 178–218.
2. R. Bieri and R. Strebel,Almost finitely presented soluble groups, Commentarii Mathematici Helvetici53 (1978), 258–278.
3. L. A. Bokut’,Unsolvability of the equality problem and subalgebras of finitely presented Lie algebras, Izvestiya Akademii Nauk SSSR, Seriya Matematicheskaya36 (1972), 1173–1219 (Russian); English translation: Mathematics of the USSR—Izvestiya6 (1972), 1153–1199.
4. L. A. Bokut’ and G. P. Kukin,Algorithmic and Combinatorial Algebra, Kluwer Academic Publishers, Dordrecht/Boston/London, 1994.
5. M. Lazard,Groupes, anneaux de Lie et problème de Burnside, Istituto Matematico dell’Università di Roma, 1960.