@misc{indiciae21e43cecb412,
  title = {A Standard Grammar for Temporal Logics on Finite Traces},
  author = {Marco Favorito},
  year = {2021},
  url = {https://arxiv.org/abs/2012.13638},
  note = {Source identifier: 2012.13638}
}