Maya Madhavan Priti Shankar Optimal Regular Tree Pattern Matching Using Pushdown Automata. 122-133 1998 conf/fsttcs/1998 FSTTCS db/conf/fsttcs/fsttcs98.html#MadhavanS98 http://dx.doi.org/10.1007/b71635