Bounded arithmetic and lower bounds in Boolean complexity (1995)

by A A Razborov
Venue:Feasible Mathematics II