HomeSearchLibrary
Fixed-parameter algorithm | OmniWiki