Daniel N. Osherson
-
Cosmological lower bound on the circuit complexity of a small problem in logic
Journal of the ACM (JACM)