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