TY  - RPRT
TI  - The covering lemma up to a Woodin cardinal
AU  - William J. Mitchell
AU  - Ernest Schimmerling
AU  - John R. Steel
PY  - 1997
UR  - https://arxiv.org/abs/math/9702207
ID  - math/9702207
ER  -