@article{weko_59655_1,
   author	 = "Keisuke,Bekki and Takayoshi,Yokota and Tohru,Nagai and Noriko,Nakatsuka and Nobuhiro,Hamada",
   title	 = "Reasoning for a Logic Circuit Synthesis Expert System",
   journal	 = "Journal of Information Processing ",
   year 	 = "1992",
   volume	 = "15",
   number	 = "1",
   pages	 = "41--49",
   month	 = "mar"
}