A. Porco, A. Machado, and B. Bonet, “Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS”, ICAPS, vol. 21, no. 1, pp. 178-185, Mar. 2011.