Clark Glymour Richmond H. Thomason Default Reasoning and the Logic of Theory Perturbation. 93-102 1984 NMR db/conf/nmr/nmr1984.html#GlymourT84