TONY TAN2020-05-042020-05-042012https://scholars.lib.ntu.edu.tw/handle/123456789/490126An Automata Model for Trees with Ordered Data Values.conference paper10.1109/LICS.2012.69https://doi.org/10.1109/LICS.2012.69