Good degree bounds on Nullstellensatz refutations of the induction principle
scientific article; zbMATH DE number 1240647