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