3. The system of claim 1 where the logic module is further adapted by logic to determine if there are missing versions of the document that are not included in the set of versions being checked for their geneology.
3. The system of claim 1 where the logic module is further adapted by logic to determine if there are missing versions of the document that are not included in the set of versions being checked for their geneology. 4. The system of claim 3 where the logic module is further adapted by logic to determine for the selected pair of document versions in the set, A, B, whether versions A and B belong in the same geneological tree, but neither A nor B has RSID values which are a subset of the other version in order to determine a logic state representing the condition that there must have existed a version C that is a common ancestor of both versions A and B.