@techreport{weko_30580_1,
   author	 = "石川,亮 and 山本,晋一郎 and 酒井,正彦 and 阿草,清滋",
   title	 = "マルチスレッドを用いた項書換え系の並列処理系",
   year 	 = "1993",
   institution	 = "名古屋大学工学部, 名古屋大学工学部, 名古屋大学工学部, 名古屋大学工学部",
   number	 = "19(1992-PRO-011)",
   month	 = "mar"
}