13. The method of claim 12 in which adding a set (s) to the tree data structure comprises adding (s) to the tree data structure if (s) is not a subset of some set in the tree data structure.
12. The method of claim 11 in which the construction of (R) comprises adding sets to the tree data structure in non-increasing order of the size of the sets.