Eliminating disjunctions by disjunction elimination
scientific article; zbMATH DE number 6825025
scientific article