Nicole Bidoit Christine Froidevaux More on Stratified Default Theories. 492-494 1988 ECAI db/conf/ecai/ecai88.html#BidoitF88