Ulrike Griefahn Stefan Lüttringhaus Top-Down Integrity Constraint Checking for Deductive Databases. 130-144 1990 ICLP db/conf/iclp/iclp90.html#GriefahnL90