Beate Commentz-Walter Size-Depth Tradeoff in Boolean Formulas. 125-141 1978 conf/icalp/1978 ICALP db/conf/icalp/icalp78.html#Commentz-Walter78 http://dx.doi.org/10.1007/3-540-08860-1_11