Math.Algebra.Group.StringRewriting
rewrite
knuthBendix
nfs
elts
data
SGen