@techreport{weko_51603_1,
   author	 = "山口高平 and 西岡弘明 and 打浪清一 and 手塚慶一",
   title	 = "定理証明システムSENRIの構成",
   year 	 = "1981",
   institution	 = "大阪大学工学部, 山口大学理学部, 大阪大学工学部, 大阪大学工学部",
   number	 = "21(1981-ICS-022)",
   month	 = "sep"
}