Inventing ET Rules to Improve an MI Solver on KR-logic. - Tadayuki Yoshida; Ekawit Nantajeewarawat; Masaharu Munetomo; Kiyoshi Akama (KEOD, 2019)

Logical Approach to Theorem Proving with Term Rewriting on KR-logic. - Tadayuki Yoshida; Ekawit Nantajeewarawat; Masaharu Munetomo; Kiyoshi Akama (KEOD, 2019)