A Verification Algorithm for Logic Circuits with Internal Variables. - Toshihiro Nakaoa; Shin'ichi Wakabayashi; Tetsushi Koide; Noriyoshi Yoshida (ISCAS, 1995)