Reverse search for enumeration
scientific article; zbMATH DE number 897371
scientific article