Lower Bounds for Monotone Real Circuit Depth and Formula Size and Tree-Like Cutting Planes.

Jan Johannsen Lower Bounds for Monotone Real Circuit Depth and Formula Size and Tree-Like Cutting Planes. 37-41 1998 67 Inf. Process. Lett. 1 db/journals/ipl/ipl67.html#Johannsen98 http://dx.doi.org/10.1016/S0020-0190(98)00079-9