A Linear Time Pattern Matching Algorithm Between a String and a Tree.

Tatsuya Akutsu A Linear Time Pattern Matching Algorithm Between a String and a Tree. 1-10 1993 conf/cpm/1993 CPM db/conf/cpm/cpm93.html#Akutsu93