LATKIN, I. The Recognition Complexity of Decidable Theories. Eurasian Mathematical Journal, [S. l.], v. 13, n. 1, p. 44–68, 2022. Disponível em: https://emj.enu.kz/index.php/main/article/view/249. Acesso em: 5 oct. 2024.