Only prime superpositions need be considered in the Knuth-Bendix completion procedure

From MaRDI portal
Publication:1106657

DOI10.1016/S0747-7171(88)80019-1zbMath0651.68029MaRDI QIDQ1106657

Deepak Kapur, Paliath Narendran, David R. Musser

Publication date: 1988

Published in: Journal of Symbolic Computation (Search for Journal in Brave)




Related Items


Uses Software


Cites Work