Michael Freund Daniel J. Lehmann Nonmonotonic inference operations. 23-68 1993 1 Logic Journal of the IGPL 1 http://dx.doi.org/10.1093/jigpal/1.1.23 db/journals/igpl/igpl1.html#FreundL93