@techreport{weko_86935_1,
   author	 = "岩下,洋哲 and 川原,純 and 湊,真一",
   title	 = "再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法",
   year 	 = "2012",
   institution	 = "独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト／北海道大学大学院情報科学研究科, 独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト／北海道大学大学院情報科学研究科, 北海道大学大学院情報科学研究科／独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト",
   number	 = "5",
   month	 = "nov"
}