A. Porco, A. Machado, and B. Bonet, “Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions”, ICAPS, vol. 23, no. 1, pp. 342–346, Jun. 2013.