Höller, Daniel, Gregor Behnke, Pascal Bercher, and Susanne Biundo. “Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages”. Proceedings of the International Conference on Automated Planning and Scheduling 26, no. 1 (March 30, 2016): 158–165. Accessed May 26, 2026. https://ojs.aaai.org/index.php/ICAPS/article/view/13758.