A Tree-Matching Algorithm Based on Node Splitting and Merging | IEEE Journals & Magazine | IEEE Xplore