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