A.: Bounded arithmetic and lower bounds in Boolean complexity (1995)

by A Razborov
Venue:In: Feasible Mathematics II