Juliano Maranhão Refinement. A tool to deal with inconsistencies. 2001 ICAIL db/conf/icail/icail2001.html#Maranhao01 52-59