Е. Н. Павловский, “Алгоритмическая распознаваемость свойства конечности конечно-определенных систем”, Вестн. НГУ. Сер. матем., мех., информ., 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
М. А. Штанько, “Теорема А. А. Маркова и алгоритмически нераспознаваемые комбинаторные многообразия”, Изв. РАН. Сер. матем., 68:1 (2004), 207–224 ; 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
В. Ю. Попов, “Марковские свойства бернсайдовских многообразий полугрупп”, Алгебра и логика, 42:1 (2003), 94–106 ; V. Yu. Popov, “Markov Properties of Burnside Varieties of Semigroups”, Algebra and Logic, 42:1 (2003), 54–60
С. И. Адян, Ф. Груневальд, Й. Меннике, “О простых кватернионах, соотношениях Гурвица и новой операции расширения групп”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Труды МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 7–22 ; 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
Лексин В.П., Чернавский А.В., “Нераспознаваемость многообразий. К теореме С. П. Новикова о нераспознаваемости сферы $\mathbb S^n$ при $n\ge 5$”, Докл. РАН, 391:4 (2003), 453–455 ; 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