А. В. Нечёсов, “Некоторые вопросы полиномиально вычислимых представлений для порождающих грамматик и форм Бэкуса – Наура”, Матем. тр., 25:1 (2022), 134–151
А. В. Нечёсов, “Семантическое программирование и полиномиально вычислимые представления”, Матем. тр., 25:2 (2022), 174–202 ; A. V. Nechesov, “Semantic programming and polynomially computable representations”, Siberian Adv. Math., 33:1 (2023), 66–85
A. V. Nechesov, “Some Questions on Polynomially Computable Representations for Generating Grammars and Backus–Naur Forms”, Sib. Adv. Math., 32:4 (2022), 299
S. Goncharov, A. Nechesov, “Polynomial analogue of Gandy's fixed point theorem”, Mathematics, 9:17 (2021), 2102
A. V. Mantsivoda, D. K. Ponomaryov, “On termination of transactions over semantic document models”, Известия Иркутского государственного университета. Серия Математика, 31 (2020), 111–131
S. Goncharov, S. Ospichev, D. Ponomaryov, D. Sviridenko, “The expressiveness of looping terms in the semantic programming”, Сиб. электрон. матем. изв., 17 (2020), 380–394
Nikolay Bazhenov, Lecture Notes in Computer Science, 12159, Computer Science – Theory and Applications, 2020, 142
С. А. Александрова, Н. А. Баженов, “О разрешимости списочных структур”, Сиб. матем. журн., 60:3 (2019), 489–505 ; S. A. Aleksandrova, N. A. Bazhenov, “On decidability of list structures”, Siberian Math. J., 60:3 (2019), 377–388
Dmitry Sviridenko, 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2019, 0991