1%
2% Search for a complete set of reductions for free groups.
3%
4
5set(auto).
6
7list(usable).
8x = x.
9f(e,x) = x.
10f(g(x),x) = e.
11f(f(x,y),z) = f(x,f(y,z)).
12end_of_list.
13
14