Latkin, I. (2022) “The Recognition Complexity of Decidable Theories”, Eurasian Mathematical Journal, 13(1), pp. 44–68. doi: 10.32523/2077-9879-2022-13-1-44-68.