Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven. Deciding twig-definability of node selecting tree automata. In Alin Deutsch, editor, 15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012. pages 61-73, ACM, 2012. [doi]
Abstract is missing.