Latkin, Ivan. “The Recognition Complexity of Decidable Theories”. Eurasian Mathematical Journal 13, no. 1 (March 30, 2022): 44–68. Accessed September 9, 2025. https://emj.enu.kz/index.php/main/article/view/249.