TY - JOUR AU - Tomas Flouri AU - Jan Janousek AU - Borivoj Melichar TI - Subtree Matching by Pushdown Automata JO - Computer Science and Information Systems PY - 2010 VL - 7 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CSIS_2010_7_2_a7/ ID - CSIS_2010_7_2_a7 ER -