A Circuit Comparison System with Rule-Based Functional Isomorphism Checking. - Makoto Takashima; Atsuhiko Ikeuchi; Shoichi Kojima; Toshikazu Tanaka; Tamaki Saitou; Jun-ichi Sakata (DAC, 1988)