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