PRIX: indexing and querying XML using prufer sequences | Synapse