Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama. Logical Approach to Theorem Proving with Term Rewriting on KR-logic. In Jan L. G. Dietz, David Aveiro, Joaquim Filipe, editors, Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019, Volume 2: KEOD, Vienna, Austria, September 17-19, 2019. pages 282-289, ScitePress, 2019. [doi]
Abstract is missing.