Pezlar I. Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach. LLP [Internet]. 2017 Apr. 28 [cited 2024 Apr. 26];26(4):473-508. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2017.010