A proper hierarchy of propositional sequent calculi
scientific article; zbMATH DE number 984044