著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
ICHIHARA Hideyuki and KINOSHITA Kozo,Logic Optimization: Redundancy Addition and Removal Using Implication Relations,IEICE transactions on information and systems,09168532,一般社団法人電子情報通信学会,1998-07-25,81,7,724-730,https://cir.nii.ac.jp/crid/1570291227535606400,