Bonassi, L.; De Giacomo, G.; Favorito, M.; Fuggitti, F.; Gerevini, A. E.; Scala, E. Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS 2023, 33, 61-69.