Mauricio Karchmer On Proving Lower Bounds for Circuit Size. 112-118 1993 Structure in Complexity Theory Conference db/conf/coco/coco93.html#Karchmer93