@article{202403.0286,
	doi = {10.20944/preprints202403.0286.v1},
	url = {https://doi.org/10.20944/preprints202403.0286.v1},
	year = 2024,
	month = {March},
	publisher = {Preprints},
	author = {Giacomo Bergami},
	title = {DECLARE<em>d</em>: A Polytime LTL<sub>f</sub> Fragment},
	journal = {Preprints}
}