TY  - RPRT
TI  - Embeddings of Iteration Trees
AU  - William Mitchell
PY  - 1992
UR  - https://arxiv.org/abs/math/9204209
ID  - math/9204209
ER  -