Porco, A.; Machado, A.; Bonet, B. Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS. ICAPS 2011, 21, 178-185.