%0 Journal Article
%A Mota Herranz, Laura
%A Celma Giménez, Matilde
%T Métodos para la comprobación de la integridad en bases de datos deductivas.
%J Qüestiió
%D 1993
%P 75-101
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/QUE_1993_1993_1_a9/
%G es
%F QUE_1993_1993_1_a9