Latkin, I. (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