Tomás Flouri, Jan Janousek, Borivoj Melichar: Subtree matching by pushdown automata. Comput. Sci. Inf. Syst. 7(2): 331-357 (2010)