![](/img/cover-not-exists.png)
The term rewriting approach to automated theorem proving
Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël RusinowitchVolume:
14
Year:
1992
Language:
english
Pages:
29
DOI:
10.1016/0743-1066(92)90047-7
File:
PDF, 2.25 MB
english, 1992