4. The method of claim 1 , wherein said one or more comparisons comprise a comparison based on one or more canonicalization operators.
5. The method of claim 4 , wherein said one or more canonicalization operators comprise a pattern of equivalence operator.