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