Arithmetizing Uniform NC, Annals of pure and applied logic (1991)

by B Allen