Filippovski, V. (2022). A Decidability Theorem. Analytica, 3, 78–91. https://analytica-journal.ru/index.php/analytica/article/view/23