GREDUCE Procedure