doi dblp
Answer Set Solving in Practice
Martin Gebser | Roland Kaminski | Benjamin Kaufmann | Torsten Schaub