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