Return to Article Details Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink Download Download PDF