Bounded arithmetic formulas and Turing machines of constant alternation (1986)

by A Woods
Venue:In Logic Colloquium '84, volume 120 of Studies in logic and the foundations of mathematics