M. G. Peretyat'kin, “Turing machine computations in finitely axiomatizable theories”, Algebra and Logic, 21:4 (1982), 272
S. S. Goncharov, V. D. Dzgoev, “Autostability of models”, Algebra and Logic, 19:1 (1980), 28
С. С. Гончаров, “Тотально трансцендентная теория с неконструктивизируемой простой моделью”, Сиб. матем. журн., 21:1 (1980), 44–51 ; S. S. Goncharov, “Totally transcendental theory with non-constructivizable prime model”, Siberian Math. J., 21:1 (1980), 32–37
Б. Н. Дроботун, “О нумерациях простых моделей”, Сиб. матем. журн., 18:5 (1977), 1002–1014 ; B. N. Drobotun, “Numerations of simple models”, Siberian Math. J., 18:5 (1977), 707–716
S. S. Goncharov, “The quantity of nonautoequivalent constructivizations”, Algebra and Logic, 16:3 (1977), 169
С. С. Гончаров, “Ограниченные теории конструктивных булевых алгебр”, Сиб. матем. журн., 17:4 (1976), 797–812 ; S. S. Goncharov, “Bounded theories of constructive Boolean algebras”, Siberian Math. J., 17:4 (1976), 601–611