"Conflict-driven answer set solving: From theory to practice."

Martin Gebser, Benjamin Kaufmann, Torsten Schaub (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics