E. N. Pavlovskii, “Algoritmicheskaya raspoznavaemost svoistva konechnosti konechno-opredelennykh sistem”, Vestn. NGU. Ser. matem., mekh., inform., 6:4 (2006), 83–92
Adian S.I., “Divisibility problem for one relator monoids”, Theoret. Comput. Sci., 339:1 (2005), 3–6
Kapovich I., Miasnikov A., Schupp P., Shpilrain V., “Average-case complexity and decision problems in group theory”, Adv. Math., 190:2 (2005), 343–359
M. A. Shtan'ko, “Markov's theorem and algorithmically non-recognizable combinatorial manifolds”, Izv. Math., 68:1 (2004), 205–221
Michael Trott, The Mathematica GuideBook for Programming, 2004, 538
V. Yu. Popov, “Markov Properties of Burnside Varieties of Semigroups”, Algebra and Logic, 42:1 (2003), 54–60
S. I. Adian, F. Grunevald, J. Mennicke, “On Prime Quaternions, Hurwitz Relations, and a New Operation of Group Extension”, Proc. Steklov Inst. Math., 242 (2003), 3–17
Leksin V.P., Chernavskii A.V., “Unrecognizability of manifolds. On Novikov's theorem on the unrecognizability of the sphere $\mathbb S^n$ for $n\ge 5$”, Dokl. Math., 68:1 (2003), 89–92
Kapovich I., Miasnikov A., Schupp P., Shpilrain V., “Generic-case complexity, decision problems in group theory, and random walks”, J. Algebra, 264:2 (2003), 665–694
Bokut L., Fong Y., Shiao L.S., “Grobner-Shirshov bases for algebras, groups, and semigroups”, Proceedings of the Third International Algebra Conference, 2003, 17–32