@techreport{weko_51424_1,
   author	 = "井上,伸二 and 小野,寛晰",
   title	 = "縮約規則のない論理に基づく定理証明法の理論的考察",
   year 	 = "1986",
   institution	 = "広島大学総合科学部, 広島大学総合科学部",
   number	 = "42(1986-ICS-047)",
   month	 = "jul"
}