Cashmore, Michael, Maria Fox, and Enrico Giunchiglia. 2013. “Partially Grounded Planning As Quantified Boolean Formula”. Proceedings of the International Conference on Automated Planning and Scheduling 23 (1):29-36. https://doi.org/10.1609/icaps.v23i1.13549.