Pezlar, I. (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