Porco A, Machado A, Bonet B. Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions. ICAPS [Internet]. 2013Jun.2 [cited 2024Oct.20];23(1):342-6. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13607