@article{DBLP:journals/tplp/AguadoCDPSSV23,
  title = {Linear-Time Temporal Answer Set Programming},
  author = {Aguado, Felicidad and Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and P{\'{e}}rez, Gilberto and Schaub, Torsten and Schuhmann, Anna and Vidal, Concepci{\'{o}}n},
  journal = {Theory Pract. Log. Program.},
  number = {1},
  pages = {2--56},
  volume = {23},
  year = {2023}
}