著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "笹尾, 勤",決定グラフに基づく論理シミュレーション・エンジンの開発,,[九州工業大学],2003,科学研究費補助金(基盤研究(B)(2))研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130000795836197760