Pezlar, I. “Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach”. Logic and Logical Philosophy, vol. 26, no. 4, Apr. 2017, pp. 473-08, doi:10.12775/LLP.2017.010.