Lower bounds for the monotone complexity of some boolean functions (1985)

by A A Razborov
Venue:Soviet Mathematics Doklady