dynASP : a dynamic programming-based answer set programming solver / von Michael Morak. 2011
Inhalt