Tomasz Imielinski Results on Translating Defaults to Circumscription. 131-146 1987 32 Artif. Intell. 1 db/journals/ai/ai32.html#Imielinski87