@techreport{weko_28180_1,
   author	 = "久木元裕治 and 藤田,昌宏",
   title	 = "Boolean Unificationの組合せ論理合成への応用",
   year 	 = "1991",
   institution	 = "東京大学工学部, 富士通研究所",
   number	 = "110(1991-SLDM-060)",
   month	 = "dec"
}