Dodd, A., Strong cardinals, unpublished notes.
Dodd, A. and Jensen, R. B.,
The core model,
Annals of Math. Logic
20 (1981) 43-75.
Dodd, A. and Jensen, R. B.,
The Covering Lemma for K,
Annals of Math. Logic
22 (1982), 1-30.
The Covering Lemma for L[U], Annals of Math. Logic
22 (1982) 127-155.
Dodd, A. and Jensen, R. B., untitled notes on fine structure below a strong cardinal, unpublished.
Mitchell, W., Sets constructive from sequences of measures: revisited, JSL
48 (1983), 600-609.
Mitchell, W., The core model for sequences of measures I, Math. Proc. of the Cambridge Phil. Soc. 95 (1984) 229-260.
Mitchell, W., The core model for sequences of measures II, to appear.
Martin, D. A. and Steel, J. R., Iteration trees, to appear.
Mitchell, W., Schimmerling, E., and Steel, J., The Covering Lemma up to One Woodin Cardinal, 1992, preprint.
Schimmerling, E., Combinatorial Principles in the Core Model for One Woodin cardinal, 1992, preprint.o
Steel, J. R., The Core Model Iterability Problem, in preparation.
Steel, J. R., Projectively Wellordered Inner Models, 1993, submitted to Annals of Pure and Applied Logic.
Steel, J. R., Inner Models with Many Woodin Cardinals, 1993, Annals of Pure and Applies Logic, to appear.
