V. Filippovski, “A Decidability Theorem”, Analytica, vol. 3, pp. 78–91, Jan. 2022, Accessed: Apr. 03, 2025. [Online]. Available: https://analytica-journal.ru/index.php/analytica/article/view/23