Only prime superpositions need be considered for the Knuth-Bendix procedure (1988)

by Deepak Kapur, D R Musser, P Narendran
Venue:J. Symbolic Computation