1. Arithmetizing uniform NC;Allen;Ann. Pure Appl. Logic,1991
2. Divide and conquer as a foundation of arithmetic;Allen,1988
3. Divide and Conquer in Parallel Complexity and Proof Theory;Bloch,1992
4. Proc. Seventh Annual Structure in Complexity Theory Conf.;Bloch,1992