P. Mantenoglou, L. Bonassi, E. Scala, and P. Zuidberg Dos Martires, “Two Constraint Compilation Methods for Lifted Planning”, AAAI, vol. 40, no. 43, pp. 36325–36333, Mar. 2026.