[1] Akivis, M. A.: 
The local algebras of a multidimensional three-web. Sibirsk. Mat. Z. 17 (1976), 5-11 Russian  English translation: Siberian Math. J. 17 (1976), 3-8. 
MR 0405261 
[4] Bokut, L. A., Fong, Y., Ke, W.-F., Kolesnikov, P. S.: 
Gröbner and Gröbner-Shirshov bases in algebra and conformal algebras. Fundam. Appl. Prikl. Mat. 6 (2000), 669-706. 
MR 1801321 
[7] Buchberger, B.: An algorithmical criteria for the solvability of algebraic systems of equations. Aequationes Math. 4 (1970), 374-383 German.
[9] Hironaka, H.: 
Resolution of singularities of an algebraic variety over a feild of characteristic zero. I, II. Ann. Math. 79 (1964), 109-203, 205-326. 
DOI 10.2307/1970486 | 
MR 0199184 
[10] Knuth, D. E., Bendix, P. B.: 
Simple word problems in universal algebras. Comput. Probl. Abstract Algebra. Proc. Conf. Oxford 1967 (1970), 263-297. 
MR 0255472 | 
Zbl 0188.04902 
[11] Kurosh, A. G.: 
Nonassociative free algebras and free products of algebras. Mat. Sb. N. Ser. 20 (1947), 239-262 Russian. 
MR 0020986 | 
Zbl 0041.16803 
[16] Shirshov, A. I.: 
Subalgebras of free Lie algebras. Mat. Sb., N. Ser. 33 (1953), 441-452 Russian. 
MR 0059892 
[17] Shirshov, A. I.: 
Subalgebras of free commutative and free anti-commutative algebras. Mat. Sbornik 34 (1954), 81-88 Russian. 
MR 0062112 
[18] Shirshov, A. I.: Certain algorithmic problems for $\epsilon$-algebras. Sib. Mat. Zh. 3 (1962), 132-137.
[19] Shirshov, A. I.: Certain algorithmic problems for Lie algebras. Sib. Mat. Zh. 3 (1962), 292-296 Russian.
[20] Bokut, L. A., Latyshev, V., Shestakov, I., Zelmanov, E.: 
Selected Works of A. I. Shirshov Series. Contemporary Mathematicians. Basel, Boston, Berlin (2009). 
MR 2547481 
[21] Witt, E.: Subrings of free Lie rings. Math. Z. 64 (1956), 195-216 German.
[22] Zhukov, A. I.: 
Reduced systems of defining relations in nonassociative algebras. Mat. Sb., N. Ser. 27 (1950), 267-280 Russian. 
MR 0037831 | 
Zbl 0038.17001