Some remarks on lengths of propositional proofs
scientific article; zbMATH DE number 851906
scientific article