Method of diagnosing multiple stuck-at-faults in combinational circuits. - Teruhiko Yamada; Shuji Hamada; Tatsuo Matsumoto; Toshihiko Takahashi; Takao Nakayama (Syst. Comput. Jpn., 1991)