Reconfigurable machine and its application to logic diagnosis. - Naoaki Suganuma; Yukihiro Murata; Satoru Nakata; Shinichi Nagata; Masahiro Tomita; Kotaro Hirano (ICCAD, 1992)