Sofia Guerra Distance Functions for Defaults in Reactive Systems. 26-40 2000 conf/amast/2000 AMAST http://link.springer.de/link/service/series/0558/bibs/1816/18160026.htm db/conf/amast/amast2000.html#Guerra00