A simplified way of proving trade-off results for resolution
scientific article; zbMATH DE number 5773848