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