A lower bound on the length of the shortest superpattern [pdf] | Dark Hacker News