@article {VeWo98,
AUTHOR = {Velickovic, Boban and Woodin, W. Hugh},
TITLE = {Complexity of reals in inner models of set theory},
JOURNAL = {Ann. Pure Appl. Logic},
FJOURNAL = {Annals of Pure and Applied Logic},
VOLUME = {92},
YEAR = {1998},
NUMBER = {3},
PAGES = {283--295},
}