@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} }