of lower bounds on the circuit size in certain fragments of bounded arithmetic (1995)

by Unprovability
Venue:Izvestiya of the RAN