А. В. Ильев, “Аксиоматизируемость и разрешимость универсальных теорий наследственных классов моделей конечных и бесконечных языков”, ПДМ, 2024, № 66, 14–29
А. Н. Рыбалов, “О сложности решения уравнений над графами”, Сиб. электрон. матем. изв., 21:1 (2024), 62–69
А. В. Ильев, “Исследование систем уравнений над различными классами конечных матроидов”, Сиб. электрон. матем. изв., 19:2 (2022), 1094–1102
А. В. Ильев, В. П. Ильев, “Алгоритмы решения систем уравнений над различными классами конечных графов”, ПДМ, 2021, № 53, 89–102
А. Ю. Никитин, “Разрешимость ограниченных теорий класса частичных порядков”, ПДМ, 2019, № 45, 6–12
A. V. Il'ev, V. P. Il'ev, “On axiomatizability and decidability of universal theories of hereditary classes of matroids”, Xii International Scientific and Technical Conference Applied Mechanics and Systems Dynamics, Journal of Physics Conference Series, 1210, IOP Publishing Ltd, 2019, 012056