H. Helal and G. Lakemeyer, “An Analysis of the Decidability and Complexity of Numeric Additive Planning”, ICAPS, vol. 34, no. 1, pp. 267-275, May 2024.