I. Shaik and J. van de Pol, “Classical Planning as QBF without Grounding”, ICAPS, vol. 32, no. 1, pp. 329-337, Jun. 2022.