Pattern Matching in Trees
fast pattern matching in strings .