@techreport{weko_27258_1,
   author	 = "松浦,宗寛 and 笹尾,勤",
   title	 = "不完全定義多出力論理関数を表現するBDDとその応用について",
   year 	 = "2004",
   institution	 = "九州工業大学情報工学部電子情報工学科, 九州工業大学情報工学部電子情報工学科",
   number	 = "122(2004-SLDM-117)",
   month	 = "dec"
}