David W. Juedes Jack H. Lutz Completeness and Weak Completeness Under Polynomial-Size Circuits. 13-31 1996 125 Inf. Comput. 1 db/journals/iandc/iandc125.html#JuedesL96