On a contraction-less intuitionistic propositional logic with conjunction and fusion
scientific article; zbMATH DE number 1491199