Antoni Olivé, Joan Antoni Pastor. Integrity Constraints Checking in Deductive Databases with the Internal Events Method. In FMLDO. pages 139-168, 1990.
@inproceedings{OliveP90, title = {Integrity Constraints Checking in Deductive Databases with the Internal Events Method}, author = {Antoni Olivé and Joan Antoni Pastor}, year = {1990}, tags = {constraints}, researchr = {https://researchr.org/publication/OliveP90}, cites = {0}, citedby = {0}, pages = {139-168}, booktitle = {FMLDO}, }