@techreport{weko_33588_1,
   author	 = "小池,英勝 and 赤間,清 and 宮本,衛市",
   title	 = "条件部と実行部を持つ等価変換ルールの自動生成",
   year 	 = "1999",
   institution	 = "北海道大学大学院工学研究科システム情報工学専攻, 北海道大学情報メディア教育研究総合センター, 北海道大学大学院工学研究科システム情報工学専攻",
   number	 = "96(1999-MPS-027)",
   month	 = "nov"
}