Höller, D.; Behnke, G.; Bercher, P.; Biundo, S. Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS 2016, 26, 158-165.