Jérôme Mengin On the Logic of Exceptions. 23-27 1998 ECAI db/conf/ecai/ecai98.html#Mengin98