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