@techreport{weko_27191_1,
   author	 = "小澤,弘明 and 浜口,清治 and 柏原,敏伸",
   title	 = "第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定",
   year 	 = "2005",
   institution	 = "大阪大学基礎工学部, 大阪大学大学院情報科学研究科,  大阪大学大学院情報科学研究科",
   number	 = "27(2004-SLDM-119)",
   month	 = "mar"
}