parid0440
| Sun, 02 Mar 2003 15:39:19
If any nodes were merged in the steps described in parid0435
6.5, then the steps described in parid0428 6.3, parid0431 6.4,
and parid0435 6.5 must be repeated. When this same sequence of
steps has been repeated and no merging occurs in the step described in
parid0435 6.5, the topic map graph has been fully merged, and
processing must stop.
not sure of better language but seems rather awkward. |