@misc{indiciae9a21f539f41c,
  title = {Implementing Metric Temporal Answer Set Programming},
  author = {Arvid Becker and Pedro Cabalar and Martin Diéguez and Susana Hahn and Javier Romero and Torsten Schaub},
  year = {2026},
  url = {https://arxiv.org/abs/2601.20735},
  note = {Source identifier: 2601.20735}
}