TY  - RPRT
TI  - Automata for dynamic answer set solving: Preliminary report
AU  - Pedro Cabalar
AU  - Martín Diéguez
AU  - Susana Hahn
AU  - Torsten Schaub
PY  - 2021
UR  - https://arxiv.org/abs/2109.01782
ID  - 2109.01782
ER  -