@techreport{weko_28035_1,
   author	 = "神田,徳夫 and 笹尾,勤",
   title	 = "EXBOUND：多出力AND ? EXOR論理式最小化プログラム",
   year 	 = "1993",
   institution	 = "徳山工業高等専門学校　情報電子工学科, 九州工業大学情報工学部　電子情報工学科",
   number	 = "94(1993-SLDM-068)",
   month	 = "oct"
}