%0 Conference Paper %1 conf/daisd/CelmaCMPM91 %A Celma, Matilde %A Casamayor, Juan Carlos %A Mota-Herranz, Laura %A Pastor, María Angeles %A Marqués, Francisco %B DAISD %D 1991 %E Olivé, Antoni %I Universitat Politecnica de Catalunya (UPC) %K dblp %P 185-203 %T A Derivation Path Recording Method for Integrity Checking in Deductive Databases. %U http://dblp.uni-trier.de/db/conf/daisd/daisd91.html#CelmaCMPM91 %V LSI/91-30

@inproceedings{conf/daisd/CelmaCMPM91, added-at = {2019-07-26T00:00:00.000+0200}, author = {Celma, Matilde and Casamayor, Juan Carlos and Mota-Herranz, Laura and Pastor, María Angeles and Marqués, Francisco}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23dfa1e87c3bf6ea5d58e0629abfdc579/dblp}, booktitle = {DAISD}, crossref = {conf/daisd/1991}, editor = {Olivé, Antoni}, interhash = {64b3a20a082d9404234e44f1c819abc3}, intrahash = {3dfa1e87c3bf6ea5d58e0629abfdc579}, keywords = {dblp}, pages = {185-203}, publisher = {Universitat Politecnica de Catalunya (UPC)}, series = {Report de recerca}, timestamp = {2019-09-27T16:01:41.000+0200}, title = {A Derivation Path Recording Method for Integrity Checking in Deductive Databases.}, url = {http://dblp.uni-trier.de/db/conf/daisd/daisd91.html#CelmaCMPM91}, volume = {LSI/91-30}, year = 1991 }