Joachim Apel Ralf Hemmecke Detecting unnecessary reductions in an involutive basis computation. 1131-1149 2005 40 J. Symb. Comput. 4-5 http://dx.doi.org/10.1016/j.jsc.2004.04.004 db/journals/jsc/jsc40.html#ApelH05