Monotone circuits for matching require linear depth (1990)

by R Raz, A Wigderson
Venue:ACM Symposium on Theory of Computing