The top documents tagged [efficient set implication]