Richard Cole Ramesh Hariharan Tree Pattern Matching to Subset Matching in Linear Time. 1056-1066 2003 32 SIAM J. Comput. 4 http://dx.doi.org/10.1137/S0097539700382704 db/journals/siamcomp/siamcomp32.html#ColeH03