Porco, Aldo, Alejandro Machado, and Blai Bonet. 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-85. https://doi.org/10.1609/icaps.v21i1.13459.