David W. Juedes Jack H. Lutz Completeness and Weak Completeness Under Polynomial-Size Circuits. 26-37 1995 STACS db/conf/stacs/stacs95.html#JuedesL95 http://dx.doi.org/10.1007/3-540-59042-0_59