@techreport{weko_27797_1,
   author	 = "澤田,宏 and 山下,茂 and 名古屋,彰",
   title	 = "対称変数の検出による関数分解の高速化と多段論理合成への応用",
   year 	 = "1997",
   institution	 = "NTTコミュニケーション科学研究所, NTTコミュニケーション科学研究所, NTTコミュニケーション科学研究所",
   number	 = "103(1997-SLDM-085)",
   month	 = "oct"
}