Lin, S.; Bercher, P. On the Expressive Power of Planning Formalisms in Conjunction With LTL. ICAPS 2022, 32, 231-240.