Benjamin N. Grosof: Default Reasoning as Circumscription. NMR 1984: 115-124