Talk:Knuth-Bendix completion algorithm/Comments

From Wikipedia, the free encyclopedia

--Cronholm144 03:20, 16 June 2007 (UTC)