Z. An Mary McLeish RES: A formalism for reasoning with relative-strength defaults. 1-8 1993 conf/ecsqaru/1993 ECSQARU db/conf/ecsqaru/ecsqaru1993.html#AnM93