Senshan Pan, Yupu Hu, Baocang Wang. The termination of the F5 algorithm revisited. In Michael B. Monagan, Gene Cooperman, Mark Giesbrecht, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013. pages 291-298, ACM, 2013. [doi]
Abstract is missing.