23965 Senshan Pan/Yupu Hu/Baocang Wang: The termination of algorithms
for computing Gröbner bases. Internet 2012, 20p.