BUSS, S., KRAJÍČEK, J. An application of Boolean Complexity to Separation Problems in Bounded Arithmetic. Proceedings of the London Mathematical Society. 3, 69(3)(1 (1994)), 1-21. ISSN 0024-6115. E-ISSN 1460-244X.