Bráulio Coelho Ávila Fernanda Hembecker Inconsistencies, Exceptions and Frame Systems. 23-32 2001 conf/sccc/2001 SCCC http://csdl.computer.org/comp/proceedings/sccc/2001/1396/00/13960023abs.htm db/conf/sccc/sccc2001.html#AvilaH01