Selective Refutation of Integrity Constraints in Deductive Databases. - Patrizia Asirelli; C. Billi; Paola Inverardi (MFDBS, 1989)