Relating size and width in variants of Q-resolution
scientific article; zbMATH DE number 6904558
scientific article