Никитин А. Ю. , Кудык И. Д. «Критерий нётеровости по уравнениям и сложности проблемы разрешимости для систем уравнений над частично упорядоченными множествами» // Прикладная дискретная математика 2024. №64 C.7-19
Ильев А. В. «Аксиоматизируемость и разрешимость универсальных теорий наследственных классов моделей конечных и бесконечных языков» // Прикладная дискретная математика 2024. №66 C.14-29