The Term Rewriting Approach to Automated Theorem Proving.

Journal

J. Log. Program.

Journal Volume

14

Journal Issue

1&2

Pages

71-99

Date Issued

1992

Author(s)

Hsiang, Jieh

Kirchner, Hélène

Lescanne, Pierre

Rusinowitch, Michaël

DOI

10.1016/0743-1066(92)90047-7

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/488703

URL

https://doi.org/10.1016/0743-1066(92)90047-7

Type

journal article