Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS. - Aldo Porco; Alejandro Machado; Blai Bonet (ICAPS, 2011)

Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions. - Aldo Porco; Alejandro Machado; Blai Bonet (ICAPS, 2013)