Ю. И. Вторушин, “Алгоритм очевидности для первопорядковой логики предикатов с равенством”, Интеллектуальные системы. Теория и приложения, 25:1 (2021), 21–28
2020
2.
Ю. И. Вторушин, “О верификации формализованных математических доказательств”, Интеллектуальные системы. Теория и приложения, 24:1 (2020), 7–24
