@article{1183744306,
author = {Steel, J. R.},
title = {The Well-Foundedness of the Mitchell Order},
journal = {J. Symbolic Logic},
volume = {58},
number = {1},
year = {1993},
pages = { 931-940},
language = {en},
url = {http://dml.mathdoc.fr/item/1183744306}
}
Steel, J. R. The Well-Foundedness of the Mitchell Order. J. Symbolic Logic, Tome 58 (1993) no. 1, pp. 931-940. http://gdmltest.u-ga.fr/item/1183744306/