Verifying Semistructured Data Normalization Using PVS | IEEE Conference Publication | IEEE Xplore