Grant Olney Passmore, Leonardo Mendonça de Moura. Superfluous S-polynomials in Strategy-Independent Groebner Bases. In Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009. pages 45-53, IEEE Computer Society, 2009. [doi]
Abstract is missing.