de Giacomo, Giuseppe, Yves Lespérance, and Matteo Mancanelli. 2025. “Situation Calculus Temporally Lifted Abstractions for Generalized Planning”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (14):14848-57. https://doi.org/10.1609/aaai.v39i14.33628.