@techreport{weko_31385_1,
   author	 = "前田隆",
   title	 = "非標準形式における定理証明法とその改良について",
   year 	 = "1984",
   institution	 = "北海道大学工学部",
   number	 = "41(1984-PRO-029)",
   month	 = "oct"
}