Porco, A., Machado, A. and Bonet, B. 2013. Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions. Proceedings of the International Conference on Automated Planning and Scheduling. 23, 1 (Jun. 2013), 342-346. DOI:https://doi.org/10.1609/icaps.v23i1.13607.