@misc{indiciae1ad18354a78e,
  title = {Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)},
  author = {Luca Geatti and Alessandro Gianola and Nicola Gigante},
  year = {2022},
  url = {https://arxiv.org/abs/2204.13693},
  note = {Source identifier: 2204.13693}
}