@article{oai:ipsj.ixsq.nii.ac.jp:00014462,
 author = {沢村, 一 and 南俊朗 and 大谷, 武 and Hajime, Sawamura and Toshiro, Mlnaml and Takeshi, Ohtanl},
 issue = {5},
 journal = {情報処理学会論文誌},
 month = {May},
 note = {問題領域に適した論理系の定義ができ、定義された論理系での論証が行える汎用の論証支援システムEUODHILOSが開発された。このシステムは次の三つの特徴をもつ：（1）記述性が高く、扱いやすい論理記述のための枠組み、（2）強力で柔軟性のある証明構築機能、（3）使いやすく、論証に適したインタフェース。本論文では、まずEUODHILOSの特徴的な機能を簡単に紹介する。次に、計算機科学、人工知能などの分野で考案され使われてきたさまざまな論理系を用いて、EUODHILOSの諭理定義法、および定義された諭理系での証明例を示し、EUODHILOSの使用経験に基づく評価を与える。},
 pages = {809--819},
 title = {汎用論証支援システムEUODHILOSの応用と評価},
 volume = {34},
 year = {1993}
}