de Giacomo, G.; Lespérance, Y.; Mancanelli, M. Situation Calculus Temporally Lifted Abstractions for Generalized Planning. AAAI 2025, 39, 14848-14857.