G. de Giacomo, Y. Lespérance, and M. Mancanelli, “Situation Calculus Temporally Lifted Abstractions for Generalized Planning”, AAAI, vol. 39, no. 14, pp. 14848–14857, Apr. 2025.