Improving Integrity Constraint Checking in Deductive Databases. - Patrizia Asirelli; Paola Inverardi; A. Mustaro (ICDT, 1988)