Hendrik Decker Davide Martinenghi Classifying integrity checking methods with regard to inconsistency tolerance. 195-204 2008 PPDP http://doi.acm.org/10.1145/1389449.1389474 conf/ppdp/2008 db/conf/ppdp/ppdp2008.html#DeckerM08