С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 59:6 (2018), 1279–1290 ; S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Siberian Math. J., 59:6 (2018), 1014–1023
С. С. Гончаров, “Условные термы в семантическом программировании”, Сиб. матем. журн., 58:5 (2017), 1026–1034 ; S. S. Goncharov, “Conditional terms in semantic programming”, Siberian Math. J., 58:5 (2017), 794–800
А. Н. Хисамиев, “Универсальные функции и почти $c$-простые модели”, Сиб. матем. журн., 56:3 (2015), 663–681 ; A. N. Khisamiev, “Universal functions and almost $c$-simple models”, Siberian Math. J., 56:3 (2015), 526–540
А. Н. Хисамиев, “Об одном классе почти $c$-простых колец”, Сиб. матем. журн., 56:6 (2015), 1416–1426 ; A. N. Khisamiev, “A class of almost $c$-simple rings”, Siberian Math. J., 56:6 (2015), 1133–1141
А. С. Морозов, “Об отношении $\Sigma$-сводимости между допустимыми множествами”, Сиб. матем. журн., 45:3 (2004), 634–652 ; A. S. Morozov, “On the relation of $\Sigma$-reducibility between admissible sets”, Siberian Math. J., 45:3 (2004), 522–535