Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
scientific article; zbMATH DE number 1356642