Refinement of Correspondences in EXSMAL for XML Document Transformation | IEEE Conference Publication | IEEE Xplore