Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества $n$-разрешимых структур, категоричных относительно $m$-разрешимых представлений”, Алгебра и логика, 54:4 (2015), 520–528 ; E. B. Fokina, S. S. Goncharov, V. Harizanov, O. V. Kudinov, D. Turetsky, “Index sets for $n$-decidable structures categorical relative to $m$-decidable presentations”, Algebra and Logic, 54:4 (2015), 336–341
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры”, Алгебра и логика, 54:2 (2015), 163–192 ; S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations”, Algebra and Logic, 54:2 (2015), 108–126
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей конечной сигнатуры и сигнатуры графов”, Алгебра и логика, 54:6 (2015), 663–679 ; S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations”, Algebra and Logic, 54:6 (2016), 428–439
S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “Index sets of autostable relative to strong constructivizations constructive models for familiar classes”, Dokl. Math., 92:2 (2015), 525
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 43–67 ; S. S. Goncharov, M. I. Marchuk, “Index Sets of Autostable Relative to Strong Constructivizations Constructive Models”, J. Math. Sci., 205:3 (2015), 368–388