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