@techreport{weko_28398_1,
   author	 = "平峰,正信 and 石川,淳士 and 石田,耕三 and 小栗,澄男 and 村井,真一",
   title	 = "論理回路変換プログラム：LORES/EX",
   year 	 = "1987",
   institution	 = "三菱電機（株）, 三菱電機（株）, 三菱電機（株）, 三菱電機（株）, 三菱電機（株）",
   number	 = "51(1987-SLDM-038)",
   month	 = "jul"
}