"The complexity of predicate default logic over a countable domain."

Robert Saxon Milnikel (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics