@techreport{weko_27674_1,
   author	 = "湊,真一 and 石原,晋也",
   title	 = "BDDの規模によらず一定の実記憶の範囲内で動作するストリーム形式BDD処理アルゴリズム",
   year 	 = "1999",
   institution	 = "NTT未来ねっと研究所, NTT未来ねっと研究所",
   number	 = "101(1999-SLDM-093)",
   month	 = "nov"
}