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