Vladimir Lifschitz On the Satisfiability of Circumscription. 17-27 1986 28 Artif. Intell. 1 db/journals/ai/ai28.html#Lifschitz86