@inproceedings{DBLP:conf/lpnmr/CabalarDSS22,
  title = {Metric Temporal Answer Set Programming over Timed Traces},
  author = {Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Schaub, Torsten and Schuhmann, Anna},
  booktitle = {{LPNMR}},
  pages = {117--130},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {13416},
  year = {2022}
}