Pezlar, Ivo. 2017. “Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach”. Logic and Logical Philosophy 26 (4):473-508. https://doi.org/10.12775/LLP.2017.010.