Pezlar, I. Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach. LLP 2017, 26, 473-508.