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