HomeSearchLibrary
Knuth's Simpath algorithm | OmniWiki