- B. N. Karlov, “On Undecidability of Subset Theories of Some Unars”, Dokl. Math., 2024

- B Karlov, “Algorithmic properties of some fragments of concatenation theory”, J. Phys.: Conf. Ser., 1902, № 1, 2021, 012117

- S M Dudakov, “On Undecidability of Subset Theory for Some Monoids”, J. Phys.: Conf. Ser., 1902, № 1, 2021, 012060

- Sergey Dudakov, Boris Karlov, “On Decidability of Theories of Regular Languages”, Theory Comput Syst, 65, № 3, 2021, 462

- B. N. Karlov, “On undecidability of subset theories of some unars”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 516, 2024, 15

- S. M. Dudakov, “On undecidability degree of theory of figures in linear spaces”, jour, 2, № 4, 2025, 51

- Sergey Mikhailovich Dudakov, “Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций”, Известия Российской академии наук. Серия математическая, 89, № 2, 2025, 3

- Сергей Михайлович Дудаков, “О теориях алгебр подмножеств и решёток подпространств в конечных линейных пространствах”, Herald of Tver State University. Series: Applied Mathematics, № 1(76), 2025, 5

- Sergey Mikhailovich Dudakov, “Problems of algorithmic decidability and axiomatizability of finite subset algebra for binary operations”, Izv. Math., 89, № 2, 2025, 221
