Compressing and indexing labeled trees, with applications | Synapse