Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"石浦, 菜岐佐 and Ishiura, Nagisa",An Introduction to Binary Decision Diagrams,情報処理,04478053,情報処理学会,1993-05-15,34,5,p585-592,https://cir.nii.ac.jp/crid/1050001337875353344,