Itay Neeman Inner models in the region of a Woodin limit of Woodin cardinals. 67-155 2002 116 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal116.html#Neeman02