Simplifying with free choice
simplification of disjunctive antecedents
scientific article; zbMATH DE number 6971266