Selective Refutation of Integrity Constraints in Deductive Databases