Knowledge Processing and Information Systems
Automata for dynamic answer set solving: Preliminary report

@article{DBLP:journals/corr/abs-2109-01782,
  title = {Automata for dynamic answer set solving: Preliminary report},
  author = {Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Hahn, Susana and Schaub, Torsten},
  journal = {CoRR},
  volume = {abs/2109.01782},
  year = {2021}
}