Proof of the Faugère criterion for the F5 algorithm
scientific article; zbMATH DE number 5980689