Dov M. Gabbay Karl Schlechta Defeasible inheritance systems and reactive diagrams. 1-54 2009 17 Logic Journal of the IGPL 1 http://dx.doi.org/10.1093/jigpal/jzn021 db/journals/igpl/igpl17.html#GabbayS09