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