The deduction theorem for strong propositional proof systems
scientific article; zbMATH DE number 5770227
scientific article