Jean-Marie Nicolas Kioumars Yazdanian Integrity Checking in Deductive Data Bases. 325-344 1977 Logic and Data Bases db/conf/adbt/adbt77.html#NicolasY77