A Conceptualization of Preferences in Non-Monotonic Proof Theory.

Anthony Hunter A Conceptualization of Preferences in Non-Monotonic Proof Theory. 174-188 1992 conf/jelia/1992 JELIA db/conf/jelia/jelia92.html#Hunter92 http://dx.doi.org/10.1007/BFb0023428