Mauricio Karchmer Avi Wigderson On Span Programs. 102-111 1993 Structure in Complexity Theory Conference db/conf/coco/coco93.html#KarchmerW93