Flouri, T. On Tree Pattern Matching by Pushdown Automata. Acta Polytech 2009, 49 (2). https://doi.org/10.14311/1113.