The complexity of Gentzen systems for propositional logic
complexity of Gentzen-style systems for propositional logic
scientific article; zbMATH DE number 4127200