Sofia Guerra Distance Functions for Defaults in Reactive Systems. 26-40 2000 conf/amast/2000 AMAST http://dx.doi.org/10.1007/3-540-45499-3_5 db/conf/amast/amast2000.html#Guerra00