Exploiting Structural Similarities in a BDD-Based Verification Method.

C. A. J. van Eijk Geert Janssen Exploiting Structural Similarities in a BDD-Based Verification Method. 110-125 1994 conf/tpcd/1994 TPCD db/conf/tpcd/tpcd1994.html#EijkJ94