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