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