@techreport{weko_30867_1,
   author	 = "萩谷,昌己",
   title	 = "定理証明手続きとしての高階単一化",
   year 	 = "1990",
   institution	 = "京都大学数理解析研究所",
   number	 = "76(1990-PRO-036)",
   month	 = "sep"
}