Comparison between methods for invariant class partitioning in the ISO framework