"Answer Sets in General Nonmonotonic Reasoning (Preliminary Report)."

Vladimir Lifschitz, Thomas Y. C. Woo (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics