D. Höller, G. Behnke, P. Bercher, and S. Biundo, “Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages”, ICAPS, vol. 26, no. 1, pp. 158–165, Mar. 2016.