@techreport{weko_30348_1,
   author	 = "真野,健 and 小川,瑞史",
   title	 = "高階書き換え系の単一正規形性",
   year 	 = "1995",
   institution	 = "NTTコミュニケーション科学研究所, NTT基礎研究所",
   number	 = "114(1995-PRO-004)",
   month	 = "nov"
}