M. Cashmore, M. Fox, and E. Giunchiglia, “Partially Grounded Planning as Quantified Boolean Formula”, ICAPS, vol. 23, no. 1, pp. 29–36, Jun. 2013.