@techreport{weko_51023_1,
   author	 = "井戸,譲治 and 馬場口,登",
   title	 = "完全／不完全なルールに対する推論手続き",
   year 	 = "1993",
   institution	 = "大阪大学工学部, 大阪大学工学部",
   number	 = "5(1992-ICS-086)",
   month	 = "jan"
}