Nullstellensatz size-degree trade-offs from reversible pebbling
scientific article; zbMATH DE number 7371505
scientific article