The Term Rewriting Approach to Automated Theorem Proving.

Hsiang, JiehJiehHsiangKirchner, HélèneHélèneKirchnerLescanne, PierrePierreLescanneRusinowitch, MichaëlMichaëlRusinowitchJIEH HSIANG2020-05-042020-05-041992https://scholars.lib.ntu.edu.tw/handle/123456789/488703The Term Rewriting Approach to Automated Theorem Proving.journal article10.1016/0743-1066(92)90047-7https://doi.org/10.1016/0743-1066(92)90047-7