Group-Theoretical Perspective of Tree Editing | IEEE Conference Publication | IEEE Xplore