Porco, A., Machado, A., & 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), 178-185. https://doi.org/10.1609/icaps.v21i1.13459