D. Gnad, M. Helmert, P. Jonsson, and A. Shleyfman, “Planning over Integers: Compilations and Undecidability”, ICAPS, vol. 33, no. 1, pp. 148-152, Jul. 2023.