This is the current revision of this page, as edited by RussBot(talk | contribs) at 04:52, 31 January 2009(Robot: Fixing double-redirect -"Knuth-Bendix completion algorithm" +"Knuth–Bendix completion algorithm"). The present address (URL) is a permanent link to this version.Revision as of 04:52, 31 January 2009 by RussBot(talk | contribs)(Robot: Fixing double-redirect -"Knuth-Bendix completion algorithm" +"Knuth–Bendix completion algorithm")
