Heusner, M., Wehrle, M., Pommerening, F. and Helmert, M. (2014) “Under-Approximation Refinement for Classical Planning”, Proceedings of the International Conference on Automated Planning and Scheduling, 24(1), pp. 365-369. doi: 10.1609/icaps.v24i1.13678.