@inproceedings{DBLP:journals/corr/abs-2109-08279,
  title = {Automata Techniques for Temporal Answer Set Programming},
  author = {Hahn, Susana},
  booktitle = {{ICLP} Technical Communications},
  pages = {258--266},
  series = {{EPTCS}},
  volume = {345},
  year = {2021}
}