Heusner M, Wehrle M, Pommerening F, Helmert M. Under-Approximation Refinement for Classical Planning. ICAPS [Internet]. 2014May11 [cited 2024Oct.20];24(1):365-9. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13678