Giacomo Bergami2025-03-112025-03-112024jz000117-0003https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10730DECLAREd: A Polytime LTLf FragmentArticlehttps://doi.org/10.3390/logics2020004