1. S. I. Adyan and V. G. Durnev, “Decision problems for groups and semigroups,” Uspekhi Mat. Nauk 55(2), 3–94 (2000) [Russian Math. Surveys 55 (2), 207–296 (2000)].
2. A. I. Shirshov, “Some algorithmic problems for Lie algebras,” Sibirsk. Mat. Zh. 3, 292–296 (1962).
3. H. Hironaka, “Resolution of singularities of an algebraic variety over a field of characteristic zero: I,” Ann. Math. 79(1), 109–203 (1964); “Resolution of singularities of an algebraic variety over a field of characteristic zero: I,” Ann. Math. 79 (2), 205–326 (1964).
4. B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente der Restklassenringes nach einem nulldimensionalen Polynomideal, PhD Thesis (Universität Innsbruck, 1965).
5. L. A. Bokut’ and G. P. Kukin, Algorithmic and Combinatorial Algebra, in Math. Appl. (Kluwer Acad. Publ., Dordrecht, 1994), Vol. 255.