Grundke, C., G. Röger, and M. Helmert. “Formal Representations of Classical Planning Domains”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 34, no. 1, May 2024, pp. 239-48, doi:10.1609/icaps.v34i1.31481.