TY  - RPRT
TI  - First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
AU  - Alessandro Artale
AU  - Andrea Mazzullo
AU  - Ana Ozaki
PY  - 2022
UR  - https://arxiv.org/abs/2202.00610
ID  - 2202.00610
ER  -