Is there a suitable library for capturing sequences that are generated from trees? I would like to prove properties of sequences that are generated from a grammar-like structure (HTN plan methods, actually), and would be helped significantly by any examples of a structure like the one I'm working on. thanks, Robert