1. A. Andretta, I. Neeman, J. Steel, The domestic levels of Kc are iterable, Israel J. Math., to appear.
2. Iteration trees;Martin;J. Amer. Math. Soc.,1994
3. Fine Structure and Iteration Trees;Mitchell,1994
4. A weak Dodd–Jensen lemma;Neeman;J. Symbolic Logic,1999
5. Fine structure for tame inner models;Schimmerling;J. Symbolic Logic,1996