HomeSearchLibrary
Graph diameter | OmniWiki