On proving lower bounds for circuit size | IEEE Conference Publication | IEEE Xplore