HomeSearchLibrary
Shortest common supersequence problem | OmniWiki