С. Л. Кузнецов, “Алгоритмическая сложность теорий коммутативных алгебр Клини”, Изв. РАН. Сер. матем., 88:2 (2024), 44–79 ; S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269
Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26
Т. Г. Пшеницын, “Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действий”, Матем. заметки, 116:4 (2024), 559–577 ; T. G. Pshenitsyn, “Closure ordinal of immediate derivability operator of infinitary action logic”, Math. Notes, 116:4 (2024), 729–744