FILIPPOVSKI, Vitaly. A Decidability Theorem. Analytica, [S. l.], v. 3, p. 78–91, 2022. Disponível em: https://analytica-journal.ru/index.php/analytica/article/view/23.. Acesso em: 4 dec. 2024.