Antonopoulos, Timos; Hovland, Dag; Martens, Wim; Neven, Frank (2012)
Node selecting tree automata (NSTAs) constitute a general formalism defining unary queries over trees. Basically, a node is selected by an NSTA when it is visited in a selecting state during an accepting run. We consider ...