Latkin, I. (2022). The Recognition Complexity of Decidable Theories. Eurasian Mathematical Journal, 13(1), 44–68. Retrieved from https://emj.enu.kz/index.php/main/article/view/249