Efficient semi-streaming algorithms for local triangle counting in massive graphs
syntactic clustering of the web .