Short proofs of ideal membership
scientific article; zbMATH DE number 7852638
scientific article