Details:
| Title | Only Prime Superpositions Need be Considered in the
Knuth-Bendix Completion Procedure | | Author(s) | Deepak Kapur, David R. Musser, Paliath Narendran | | Type | Article in Journal | | Length | 18 | | ISSN | 0747-7171 |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 6 | | Number | 1 | | Pages | 19--36 | | Year | 1988 | | Translation |
No | | Refereed |
Yes |
|
