@techreport{weko_28074_1,
   author	 = "松永,裕介 and PatrickC.McGeer and 藤田,昌宏",
   title	 = "2分決定グラフを用いた推移的閉包計算アルゴリズムと形式的検証への応用",
   year 	 = "1993",
   institution	 = "（株）富士通研究所, カリフォルニア大, （株）富士通研究所",
   number	 = "6(1992-SLDM-065)",
   month	 = "jan"
}