Theory reduction and non-Boolean theories
scientific article; zbMATH DE number 3557577