1. S. Bahrami, Doctoral dissertation, Tarbiat Modares University, in preparation.
2. Coding in IΔ0;D'Aquino,2004
3. Fragments of Peano's Arithmetic and the MRDP theorem;Dimitracopoulos,1982
4. A note on a theorem of H. Friedman;Dimitracopoulos;Math. Log. Q.,1988
5. From bounded arithmetic to second order arithmetic via automorphisms;Enayat,2006