- 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, no. 1, 2021, 012117
- S M Dudakov, “On Undecidability of Subset Theory for Some Monoids”, J. Phys.: Conf. Ser., 1902, no. 1, 2021, 012060
- Sergey Dudakov, Boris Karlov, “On Decidability of Theories of Regular Languages”, Theory Comput Syst, 65, no. 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