A case study for XML semantics checker model | IEEE Conference Publication | IEEE Xplore