Songtuan Lin, Pascal Bercher: On the Expressive Power of Planning Formalisms in Conjunction with LTL. ICAPS 2022: 231-240