![](/img/cover-not-exists.png)
Term rewriting: Some experimental results
David A. Plaisted, Richard C. PotterVolume:
11
Year:
1991
Language:
english
Pages:
32
DOI:
10.1016/s0747-7171(08)80136-8
File:
PDF, 1.57 MB
english, 1991