An Automata Model for Trees with Ordered Data Values | IEEE Conference Publication | IEEE Xplore