"Answer Set Programming: A Primer."

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics