![](/img/cover-not-exists.png)
Only prime superpositions need be considered in the Knuth-Bendix completion procedure
Deepak Kapur, David R. Musser, Paliath NarendranVolume:
6
Year:
1988
Language:
english
Pages:
18
DOI:
10.1016/s0747-7171(88)80019-1
File:
PDF, 1.14 MB
english, 1988