An Automata Model for Trees with Ordered Data Values.

Tony Tan

Browse the full LICS paper archive.