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