A. V. Mantsivoda, D. K. Ponomaryov, “A formalization of document models with semantic modelling”, Известия Иркутского государственного университета. Серия Математика, 27 (2019), 36–54
С. А. Александрова, Н. А. Баженов, “О разрешимости списочных структур”, Сиб. матем. журн., 60:3 (2019), 489–505 ; S. A. Aleksandrova, N. A. Bazhenov, “On decidability of list structures”, Siberian Math. J., 60:3 (2019), 377–388
С. С. Гончаров, Д. И. Свириденко, “Логический язык описания полиномиальной вычислимости”, Докл. РАН, 485:1 (2019), 11–14 ; S. S. Goncharov, D. I. Sviridenko, “Logical language of description of polynomial computing”, Dokl. Math., 99:2 (2019), 121–124
Sergey Goncharov, Dmitry Sviridenko, 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2019, 0987
Dmitry Sviridenko, 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2019, 0991
S. Ospichev, D. Ponomarev, “On the complexity of formulas in semantic programming”, Сиб. электрон. матем. изв., 15 (2018), 987–995
С. С. Гончаров, Д. И. Свириденко, “Рекурсивные термы в семантическом программировании”, Сиб. матем. журн., 59:6 (2018), 1279–1290 ; S. S. Goncharov, D. I. Sviridenko, “Recursive terms in semantic programming”, Siberian Math. J., 59:6 (2018), 1014–1023
И. А. Казаков, И. А. Кустова, Е. Н. Лазебникова, А. В. Манцивода, “Построение локально-простых моделей: методология и практика”, Известия Иркутского государственного университета. Серия Математика, 22 (2017), 71–89