The University of Warwick Library - WebBridge

THE USE OF KNUTH-BENDIX METHODS TO SOLVE THE WORD PROBLEM IN AUTOMATIC GROUPS
JOURNAL OF SYMBOLIC COMPUTATION.  v. 12. no. 4-5.   1991-10. p. 397 - 414... issn: 0747-7171 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.