Login / Signup
The Use of Knuth-Bendix Methods to Solve the Word Problem in Automatic Groups.
David B. A. Epstein
Derek F. Holt
Sarah Rees
Published in:
J. Symb. Comput. (1991)
Keyphrases
</>
logic programming
statistically significant
word problems