Latkin, I. 2022. The Recognition Complexity of Decidable Theories. Eurasian Mathematical Journal. 13, 1 (Jan. 2022), 44–68.