@techreport{weko_27931_1,
   author	 = "越智,裕之",
   title	 = "枝刈り機能付きBDDパッケージとその応用",
   year 	 = "1995",
   institution	 = "広島市立大学　情報科学部　情報工学科",
   number	 = "24(1994-SLDM-074)",
   month	 = "mar"
}