Termination of the F5 algorithm
scientific article; zbMATH DE number 6418408
scientific article