Removing redundancy from a clause
scientific article; zbMATH DE number 417266
scientific article