@techreport{weko_26968_1,
   author	 = "小澤,弘明 and 浜口,清治 and 柏原,敏伸",
   title	 = "同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定",
   year 	 = "2006",
   institution	 = "大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科, 大阪大学大学院情報科学研究科",
   number	 = "126(2006-SLDM-127)",
   month	 = "nov"
}