Vladimir Lifschitz Closed-World Databases and Circumscription. 229-235 1985 27 Artif. Intell. 2 db/journals/ai/ai27.html#Lifschitz85