Automata for dynamic answer set solving: Preliminary report

Re-assign community