Cashmore, M., Fox, M. and Giunchiglia, E. (2013) “Partially Grounded Planning as Quantified Boolean Formula”, Proceedings of the International Conference on Automated Planning and Scheduling, 23(1), pp. 29-36. doi: 10.1609/icaps.v23i1.13549.