Identification of redundant faults in combinational circuits. - Tetsuro Minamiyama; Yuzo Takamatsu (Syst. Comput. Jpn., 2000)