Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"藤本, 幸宏 and 渡邊, 孝博",A redundant fault identification method for sequential circuits based on implication procedure,山口大学工学部研究報告,03727661,山口大学工学部,1998,48,2,213-220,https://cir.nii.ac.jp/crid/1050001337451919744,