Porco, A., A. Machado, and B. Bonet. “Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 21, no. 1, Mar. 2011, pp. 178-85, doi:10.1609/icaps.v21i1.13459.