Cashmore, M.; Fox, M.; Giunchiglia, E. Partially Grounded Planning As Quantified Boolean Formula. ICAPS 2013, 23, 29-36.