Porco, A.; Machado, A.; Bonet, B. Automatic Reductions from PH into STRIPS or How to Generate Short Problems With Very Long Solutions. ICAPS 2013, 23, 342-346.