Bounded arithmetic and lower bounds in boolean complexity (1995)

by Alexander Razborov
Venue:Feasible Mathematics II