Inner models in the region of a Woodin limit of Woodin cardinals

Itay Neeman. Inner models in the region of a Woodin limit of Woodin cardinals. Annals of Pure and Applied Logic, 116(1-3):67-155, 2002.