C. Grundke, G. Röger, and M. Helmert, “Formal Representations of Classical Planning Domains”, ICAPS, vol. 34, no. 1, pp. 239-248, May 2024.