HomeSearchLibrary
Partial computable function | OmniWiki