1. On a restricted induction rule and iterated reflection principles over Kalmar elementary arithmetic;Beklemishev,1994
2. Induction rules, reflection principles, and provably recursive functions;Beklemishev,1995
3. Fragments of Peano's arithmetic and the MDRP theorem;Gaifman,1982
4. Metamathematics of First Order Arithmetic;Hájek,1993
5. Reflection principles and their use for establishing the complexity of axiomatic systems;Kreisel;Z. Math. Logik Grundlagen Math.,1968