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