Deciding twig-definability of node selecting tree automata.

Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven

Browse the full ICDT paper archive.