Natural deduction with general elimination rules
structure of derivations in natural deduction
scientific article; zbMATH DE number 1982448