Steven Lindell A Purely Logical Characterization of Circuit Uniformity. 185-192 1992 Structure in Complexity Theory Conference db/conf/coco/coco92.html#Lindell92