Cain A.J., Maltcev V., “Decision problems for finitely presented and one-relation semigroups and monoids”, Internat. J. Algebra Comput., 19:6 (2009), 747–770
Karpuz E.G., Çevik A.S., “The word and generalized word problem for semigroups under wreath products”, Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér., 52:2 (2009), 151–160
S. I. Adian, “Groups with Periodic Defining Relations”, Math. Notes, 83:3 (2008), 293–300
Myasnikov A.G., Rybalov A.N., “Generic Complexity of Undecidable Problems”, J. Symb. Log., 73:2 (2008), 656–673
Borovik A.V., Myasnikov A.G., Remeslennikov V.N., “The conjugacy problem in amalgamated products. I. Regular elements and black holes”, Internat. J. Algebra Comput., 17:7 (2007), 1299–1333
Myasnikov A., “Generic Complexity of Undecidable Problems”, Computer Science - Theory and Applications, Lecture Notes in Computer Science, 4649, eds. Diekert V., Volkov M., Voronkov A., Springer-Verlag Berlin, 2007, 407–417
L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Russian Math. Surveys, 61:3 (2006), 575–588
Chernavsky A.V., Leksine V.P., “Unrecognizability of manifolds”, Ann. Pure Appl. Logic, 141:3 (2006), 325–335
Kreuzer M., Myasnikov A., Rosenberger G., Ushakov A., “Quotient tests and Grobner bases”, Combinatorial Group Theory, Discrete Groups, and Number Theory, Contemporary Mathematics Series, 421, 2006, 187–200
Borovik A.V., Myasnikov A.G., “Quotient tests and random walks in computational group theory”, Topological and Asymptotic Aspects of Group Theory, Contemporary Mathematics Series, 394, 2006, 31–45