A method for obtaining efficient lower bounds for monotone complexity
scientific article; zbMATH DE number 4079329