Bonassi, L., De Giacomo, G., Favorito, M., Fuggitti, F., Gerevini, A. E., & Scala, E. (2023). Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. Proceedings of the International Conference on Automated Planning and Scheduling, 33(1), 61-69. https://doi.org/10.1609/icaps.v33i1.27179