L. Bonassi, F. Percassi, and E. Scala, “Towards Practical Classical Planning Compilations of Numeric Planning”, AAAI, vol. 39, no. 25, pp. 26472–26480, Apr. 2025.