Nonmonotonic Reasoning, Conditional Objects and Possibility Theory
system z : a natural ordering of defaults with tractable applications to nonmonotonic reasoning .