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