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), pp. 178-185. doi: 10.1609/icaps.v21i1.13459.