An application of Boolean complexity to separation problems (1994)

by S R Buss, J Krajíček
Venue:in bounded arithmetic, Proc.LondonMath.Society