LATKIN, I. The Recognition Complexity of Decidable Theories. Eurasian Mathematical Journal, [S. l.], v. 13, n. 1, p. 44–68, 2022. DOI: 10.32523/2077-9879-2022-13-1-44-68. Disponível em: https://emj.enu.kz/index.php/main/article/view/249. Acesso em: 30 sep. 2026.