Filippovski V. A Decidability Theorem. Analytica [Internet]. 2022 Jan. 9 [cited 2025 Apr. 3];3:78–91. Available from: https://analytica-journal.ru/index.php/analytica/article/view/23