Ensuring correctness of personalised schema refinement transformations | IEEE Conference Publication | IEEE Xplore