@techreport{weko_21649_1,
   author	 = "赤間,清 and 繁田,良則 and 宮本,衛市",
   title	 = "区間変数に関する包含制約の等価変換",
   year 	 = "1998",
   institution	 = "北海道大学大学院システム情報工学専攻, 北海道大学大学院システム情報工学専攻, 北海道大学大学院システム情報工学専攻",
   number	 = "100(1998-SE-121)",
   month	 = "nov"
}