Jan Krajícek Pavel Pudlák Gaisi Takeuti Bounded Arithmetic and the Polynomial Hierarchy. 143-153 1991 52 Ann. Pure Appl. Logic 1-2 db/journals/apal/apal52.html#KrajicekPT91