А. В. Ильев, “Аксиоматизируемость и разрешимость универсальных теорий наследственных классов моделей конечных и бесконечных языков”, ПДМ, 2024, № 66, 14–29
А. В. Ильев, “Исследование систем уравнений над различными классами конечных матроидов”, Сиб. электрон. матем. изв., 19:2 (2022), 1094–1102
V. P. Il'ev, A. V. Ilev, “on Axiomatizability of the Class of Finitary Matroids and Decidability of Their Universal Theory”, Sib. Electron. Math. Rep., 17 (2020), 1730–1740