Shaik, I.; van de Pol, J. Classical Planning As QBF Without Grounding. ICAPS 2022, 32, 329-337.