С. М. Дудаков, “Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций”, Изв. РАН. Сер. матем., 89:2 (2025), 3–24 ; S. M. Dudakov, “Problems of algorithmic decidability and axiomatizability of finite subset algebra for binary operations”, Izv. Math., 89:2 (2025), 221–241
B. N. Karlov, “On Undecidability of Subset Theories of Some Unars”, Dokl. Math., 2024
B. N. Karlov, “On undecidability of subset theories of some unars”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 516 (2024), 15
С. М. Дудаков, “О моноиде с разрешимой теорией конечных подмножеств”, Вестник ТвГУ. Серия: Прикладная математика, 2024, № 2, 27–38
С. М. Дудаков, “О теории моноида конечных подмножеств для одной абелевой группы кручения”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 2, 39–55
Б. Н. Карлов, “Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 3, 18–32
S M Dudakov, “On Undecidability of Subset Theory for Some Monoids”, J. Phys.: Conf. Ser., 1902:1 (2021), 012060
С. М. Дудаков, “Об определимости в алгебре конечных языков с конкатенацией множества односимвольных языков”, Вестник ТвГУ. Серия: Прикладная математика, 2020, № 4, 5–13