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.

@inproceedings{NicolasY77,
  title = {Integrity Checking in Deductive Data Bases},
  author = {Jean-Marie Nicolas and Kioumars Yazdanian},
  year = {1977},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/NicolasY77},
  cites = {0},
  citedby = {0},
  pages = {325-344},
  booktitle = {Logic and Data Bases},
}