A practical and efficient method for compare-point matching. - Demos Anastasakis; Robert F. Damiano; Hi-Keung Tony Ma; Ted Stanion (DAC, 2002)

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