@techreport{weko_50968_1,
   author	 = "中嶋,卓雄 and 國安,治 and 中村,良三",
   title	 = "結合グラフ証明手続きにおける効率的な探索戦略",
   year 	 = "1993",
   institution	 = "熊本大学工学部, 熊本大学工学部, 熊本大学工学部",
   number	 = "103(1993-ICS-091)",
   month	 = "nov"
}