M. Heusner, M. Wehrle, F. Pommerening, and M. Helmert, “Under-Approximation Refinement for Classical Planning”, ICAPS, vol. 24, no. 1, pp. 365-369, May 2014.