Logical Approach to Theorem Proving with Term Rewriting on KR-logic.

Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama

Browse the full IC3K paper archive.