@techreport{weko_24092_1,
   author	 = "越智,裕之",
   title	 = "BDDパッケージの動的変数順序づけの並列化",
   year 	 = "1995",
   institution	 = "広島市立大学",
   number	 = "119(1995-ARC-115)",
   month	 = "dec"
}