Integrity Checking in Deductive Data Bases

Jean-Marie Nicolas, Kioumars Yazdanian. Integrity Checking in Deductive Data Bases. In Logic and Data Bases. pages 325-344, 1977.

Abstract

Abstract is missing.