"Answer set programming with default logic."

Victor W. Marek, Jeffrey B. Remmel (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics