On the enumeration closure operator in multivalued logic
scientific article; zbMATH DE number 6508344
scientific article