Modifying Faugère's F5 algorithm to ensure termination. - Christian Eder; Justin Gash; John Edward Perry (ACM Commun. Comput. Algebra, 2011)