Efficient equivalence checking with partitions and hierarchical cut-points. - Demos Anastasakis; Lisa McIlwain; Slawomir Pilarski (DAC, 2004)