Giacomo Bergami2025-02-172025-02-17https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10493DECLAREd: A Polytime LTLf Fragmentpdf