Gnad, D.; Helmert, M.; Jonsson, P.; Shleyfman, A. Planning over Integers: Compilations and Undecidability. ICAPS 2023, 33, 148-152.