@techreport{weko_26871_1,
   author	 = "清水,博章 and 浜口,清治 and 柏原,敏伸",
   title	 = "第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム",
   year 	 = "2007",
   institution	 = "大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科",
   number	 = "114(2007-SLDM-132)",
   month	 = "nov"
}