Tree indexing by pushdown automata and subtree repeats | IEEE Conference Publication | IEEE Xplore