2. The method according to claim 1 , further comprising the step of: forming a graph structure by forming nodes from said abstract documents and links from said operations and retaining said abstract documents.
2. The method according to claim 1 , further comprising the step of: forming a graph structure by forming nodes from said abstract documents and links from said operations and retaining said abstract documents. 3. The method according to claim 2 , wherein said termination condition comprises detecting that said abstract documents have not been changed by said applied operations.