Shleyfman, A.; Kuroiwa, R.; Beck, J. C. Symmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning. ICAPS 2023, 33, 393-401.