A Theorem on the Consistency of Circumscription.

Peter L. Mott A Theorem on the Consistency of Circumscription. 87-98 1987 31 Artif. Intell. 1 db/journals/ai/ai31.html#Mott87