Benjamin N. Grosof Default Reasoning as Circumscription. 115-124 1984 NMR db/conf/nmr/nmr1984.html#Grosof84