Automata for dynamic answer set solving: Preliminary report

Open in new window