TY  - GENERIC
DO  - 10.20944/preprints202403.0286.v2
UR  - http://dx.doi.org/10.20944/preprints202403.0286.v2
TI  - DECLARE<em>d</em>: A Polytime LTL<sub>f</sub> Fragment
T2  - Preprints
AU  - Bergami, Giacomo
PY  - 2024
DA  - 2024/03/11
PB  - Preprints