@article{1093887834,
author = {Hickman, John L.},
title = {Regressive order-types.},
journal = {Notre Dame J. Formal Logic},
volume = {18},
number = {1},
year = {1977},
pages = { 169-174},
language = {en},
url = {http://dml.mathdoc.fr/item/1093887834}
}
Hickman, John L. Regressive order-types.. Notre Dame J. Formal Logic, Tome 18 (1977) no. 1, pp. 169-174. http://gdmltest.u-ga.fr/item/1093887834/