buchberger's algorithm - English Synonyms Dictionary