@misc{indiciae5ec80b866633, title = {Automata for dynamic answer set solving: Preliminary report}, author = {Pedro Cabalar and Martín Diéguez and Susana Hahn and Torsten Schaub}, year = {2021}, url = {https://arxiv.org/abs/2109.01782}, note = {Source identifier: 2109.01782} }