Latkin, I. “The Recognition Complexity of Decidable Theories”. Eurasian Mathematical Journal, vol. 13, no. 1, Jan. 2022, pp. 44-68, https://emj.enu.kz/index.php/main/article/view/249.