Filippovski V. A Decidability Theorem. Analytica. 2022;3:78–91. Accessed September 10, 2026. https://www.analytica-journal.ru/index.php/analytica/article/view/23