A simplified proof that regular resolution is exponential
scientific article; zbMATH DE number 3683578