PEZLAR, Ivo. Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach. Logic and Logical Philosophy. Online. 28 April 2017. Vol. 26, no. 4, pp. 473-508. [Accessed 4 July 2024]. DOI 10.12775/LLP.2017.010.