Heusner, M.; Wehrle, M.; Pommerening, F.; Helmert, M. Under-Approximation Refinement for Classical Planning. ICAPS 2014, 24, 365-369.