А. В. Ильев, “Аксиоматизируемость и разрешимость универсальных теорий наследственных классов моделей конечных и бесконечных языков”, ПДМ, 2024, № 66, 14–29