S. Lin and P. Bercher, “On the Expressive Power of Planning Formalisms in Conjunction with LTL”, ICAPS, vol. 32, no. 1, pp. 231-240, Jun. 2022.