査読有り 2013年 An Approach to Abductive Reasoning in Equational Logic proceedings of IJCAI 2013 ナチョ エシェニム, ニコラ ペルチエ, ソフィ トゥレ 記述言語 英語 掲載種別 エクスポート BibTeX RIS