%0 Conference Paper %1 conf/icde/CelmaGMD94 %A Celma, Matilde %A García, Carlos %A Mota-Herranz, Laura %A Decker, Hendrik %B ICDE %D 1994 %I IEEE Computer Society %K dblp %P 214-222 %T Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. %U http://dblp.uni-trier.de/db/conf/icde/icde94.html#CelmaGMD94 %@ 0-8186-5400-7

@inproceedings{conf/icde/CelmaGMD94, added-at = {2023-03-24T00:00:00.000+0100}, author = {Celma, Matilde and García, Carlos and Mota-Herranz, Laura and Decker, Hendrik}, biburl = {https://www.bibsonomy.org/bibtex/2a66c7e3c28531169f38c7ab431aa1f0c/dblp}, booktitle = {ICDE}, cdrom = {ICDE94/P214.pdf}, cite = {books/mk/minker88/SadriK88}, crossref = {conf/icde/94}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICDE.1994.283033}, interhash = {7b14c9e82024f731ea623613256a4b72}, intrahash = {a66c7e3c28531169f38c7ab431aa1f0c}, isbn = {0-8186-5400-7}, keywords = {dblp}, pages = {214-222}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:13:25.000+0200}, title = {Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.}, url = {http://dblp.uni-trier.de/db/conf/icde/icde94.html#CelmaGMD94}, year = 1994 }