@article{weko_13492_1,
   author	 = "大谷,武 and 沢村,一 and 南,俊朗",
   title	 = "汎用論証支援システムEUODHILOS - IIの設計と実装",
   journal	 = "情報処理学会論文誌",
   year 	 = "1997",
   volume	 = "38",
   number	 = "1",
   pages	 = "9--22",
   month	 = "jan"
}