Towards High-Level Modelling in Automated Planning. - Carla Davesa Sureda; Joan Espasa Arxer; Ian Miguel; Mateu Villaret Auselle (CoRR, 2024)