@article{weko_60172_1,
   author	 = "Yuuzi,Yoshida and Teruo,Fukumura",
   title	 = "Formula Manipulation System for Boolean Functions (BALOC-3) based upon Symbol Manipulations",
   journal	 = "Information Processing in Japan",
   year 	 = "1973",
   volume	 = "13",
   number	 = "0",
   pages	 = "89--93",
   month	 = "jan"
}