@techreport{weko_51675_1,
   author	 = "小川均 and 浅野哲夫 and 北橋忠宏 and 田中幸吉 and 石堂伸夫",
   title	 = "形式的推論と質問応答システム",
   year 	 = "1976",
   institution	 = "大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部, 名市大医",
   number	 = "1(1976-ICS-024)",
   month	 = "apr"
}