@techreport{weko_49405_1,
   author	 = "赤間,清",
   title	 = "タイプ付きユニフィケーション文法の新しい基礎",
   year 	 = "1993",
   institution	 = "北海道大学工学部情報工学科",
   number	 = "1(1992-NL-093)",
   month	 = "jan"
}