A survey of deduction theorems for the propositional calculi
scientific article; zbMATH DE number 3456883