TY  - RPRT
TI  - Positive and monotone fragments of FO and LTL
AU  - Denis Kuperberg
AU  - Quentin Moreau
PY  - 2024
UR  - https://arxiv.org/abs/2406.17693
ID  - 2406.17693
ER  -