Porco, A., Machado, A. and Bonet, B. 2011. Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS. Proceedings of the International Conference on Automated Planning and Scheduling. 21, 1 (Mar. 2011), 178-185. DOI:https://doi.org/10.1609/icaps.v21i1.13459.