1. Slaman, Theodore A. (2004). Σn-Bounding and Δn-Induction. Proc. Amer. Math. Soc. 132 2449--2456. [pdf] [MR] [GS][MRef]