Distributing equational theorem proving

This publication has 5 references indexed in Scilit:

• Distributing equational theorem proving
  Published by Springer Nature ,1993
• A parallel completion procedure for term rewriting systems
  Published by Springer Nature ,1992
• A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering that x 3 = x Implies Ring Commutativity
  Published by Springer Nature ,1984
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970