Grundke, C.; Röger, G.; Helmert, M. Formal Representations of Classical Planning Domains. ICAPS 2024, 34, 239-248.