A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic
scientific article; zbMATH DE number 3741341