Helal, H., and G. Lakemeyer. “An Analysis of the Decidability and Complexity of Numeric Additive Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 34, no. 1, May 2024, pp. 267-75, doi:10.1609/icaps.v34i1.31484.