Monotone circuits for matching require linear depth (1990)

by R Raz, A Wigderson
Venue:Proc. 22th ACM Symp on theory of computing