Mantenoglou, P.; Bonassi, L.; Scala, E.; Zuidberg Dos Martires, P. Two Constraint Compilation Methods for Lifted Planning. AAAI 2026, 40, 36325-36333.