TY  - JOUR
AU  - Mota Herranz, Laura
AU  - Celma Giménez, Matilde
TI  - Métodos para la comprobación de la integridad en bases de datos deductivas.
JO  - Qüestiió
PY  - 1993
SP  - 75
EP  - 101
VL  - 17
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/QUE_1993_1993_1_a9/
LA  - es
ID  - QUE_1993_1993_1_a9
ER  -