Porco A, Machado A, Bonet B. Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS. ICAPS [Internet]. 2011Mar.22 [cited 2024Aug.26];21(1):178-85. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13459