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