Investigación Especificación formal y manipulación inteligente de restricciones de integridad en datos semiestructurados Ver detalles 5 de octubre de 2007
