An application of Boolean complexity to separation problems in bounded arithmetic (1994)

by S Buss, J Kraj́ıček
Venue:Proceedings of the London Mathematical Society