Lin, S., and P. Bercher. “On the Expressive Power of Planning Formalisms in Conjunction With LTL”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 32, no. 1, June 2022, pp. 231-40, doi:10.1609/icaps.v32i1.19806.