Gnad D, Helmert M, Jonsson P, Shleyfman A. Planning over Integers: Compilations and Undecidability. ICAPS [Internet]. 2023Jul.1 [cited 2024Oct.18];33(1):148-52. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/27189