Flouri, T. On Tree Pattern Matching by Pushdown Automata. Acta Polytech 2009, 49.