Filippovski, V. A Decidability Theorem. Analytica 2022, 3, 78–91.