Formal Representations of Classical Planning Domains. - Claudia Grundke; Gabriele Röger; Malte Helmert (ICAPS, 2024)