Semi-thue systems and representations of trees | IEEE Conference Publication | IEEE Xplore