Efficiency of Equivalence Algorithms