Filippovski, Vitaly. “A Decidability Theorem”. Analytica 3 (January 9, 2022): 78–91. Accessed July 2, 2025. https://analytica-journal.ru/index.php/analytica/article/view/23.