@article{DBLP:journals/corr/abs-2304-14778,
  title = {Metric Temporal Equilibrium Logic over Timed Traces},
  author = {Becker, Arvid and Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Schaub, Torsten and Schuhmann, Anna},
  journal = {CoRR},
  volume = {abs/2304.14778},
  year = {2023}
}